Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves von Antonino, Pedro, Derek, Ante, Woloszyn, Wojciech Aleksander

Volltext

Ratio Legis on the Right to Language in the Education System in Timor Leste von Marsal, Antonino Pedro, Sukardi, Sukardi

Volltext

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Approximate verification of concurrent systems using token structures and invariants von Antonino, Pedro, Gibson-Robinson, Thomas, Roscoe, A. W.

Volltext

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts von Antonino, Pedro, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W.

Volltext

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs von Leite, Gabriel, Arruda, Filipe, Antonino, Pedro, Sampaio, Augusto, Roscoe, A. W.

Volltext

Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves von Antonino, Pedro, Derek, Ante, Wołoszyn, Wojciech Aleksander

Volltext bestellen

A Pattern-based deadlock-freedom analysis strategy for concurrent systems von Antonino, Pedro, Sampaio, Augusto, Woodcock, Jim

Volltext bestellen

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes von Antonino, Pedro, Sampaio, Augusto, Woodcock, Jim

Volltext

Harmonization between Investigators and Advocates in the Law Enforcement Process von Kafrawi, Rachman Maulana, Mohammad Zamroni, Marsal, Antonino Pedro

Volltext

Abstracting and Verifying Decentralised Systems in CSP von Roscoe, A. W., Antonino, Pedro, Lawrence, Jonathan

Volltext

Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves von Pedro Antonino, Ante Derek, Wołoszyn, Wojciech Aleksander

Volltext

CODE DEPLOYMENT von ANTONINO, Pedro Ribeiro Gonçalves, ROSCOE, Andrew William

Volltext bestellen

A Pattern-based deadlock-freedom analysis strategy for concurrent systems von Antonino, Pedro, Sampaio, Augusto, Woodcock, Jim

Volltext bestellen

Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity von Pedro Antonino, Roscoe, A W

Volltext

CUSTODY SERVICE FOR AUTHORISING TRANSACTIONS von MATIJASEVIC, Mario, ANTONINO, Pedro, NOVOSELAC, Vedran, HECIMOVIC, Tomislav, VIDAKOVIC, Ivan, DEREK, Ante

Volltext bestellen

Enclave architecture von Pedro Antonino, Vedran Novoselac, Vedran Kralj, Tomislav Hecimovic, Srdjan Capkun, Ante Derek, Mario Matijasevic, Ivan Vidakovic

Volltext bestellen

ENCLAVE ARCHITECTURE von MATIJASEVIC, Mario, ANTONINO, Pedro, NOVOSELAC, Vedran, KRALJ, Vedran, HECIMOVIC, Tomislav, VIDAKOVIC, Ivan, CAPKUN, Srdjan, DEREK, Ante

Volltext bestellen

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts von Pedro Antonino, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A W

Volltext