Pedro Antonino

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Remote Attestation

Concurrent Systems

Top Venues

Formal Aspects Comput.

Softw. Syst. Model.

Theories of Programming and Formal Methods

Publications

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda
A refinement-based approach to safe smart contract deployment and evolution. Softw. Syst. Model. 23 (3) (2024)
Flávia Falcão, Lucas Lima, Augusto Sampaio, Pedro Antonino
A formal component model for UML based on CSP aiming at compositional verification. Softw. Syst. Model. 23 (3) (2024)
A. W. Roscoe, Pedro Antonino, Jonathan Lawrence
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents. Theories of Programming and Formal Methods (2023)
Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves. IEEE Access 11 (2023)
Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves. CoRR (2023)
Pedro Antonino, Augusto Sampaio, Jim Woodcock
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. CoRR (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. SEFM (2022)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Approximate verification of concurrent systems using token structures and invariants. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. CoRR (2022)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: symbolic validation of orderliness in SGX enclaves. CoRR (2021)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: Symbolic Validation of Orderliness in SGX Enclaves. CCSW@CCS (2021)
Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe
Trusted And Confidential Program Analysis. CoRR (2021)
Pedro Antonino, A. W. Roscoe
Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling. SAC (2021)
Pedro Antonino, A. W. Roscoe
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity. CoRR (2020)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. Formal Aspects Comput. 31 (3) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving. ACM Trans. Softw. Eng. Methodol. 28 (3) (2019)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Checking Static Properties Using Conservative SAT Approximations for Reachability. SBMF (2017)
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. IFM (2016)
Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe
Rigorous development of component-based systems using component metadata and patterns. Formal Aspects Comput. 28 (6) (2016)