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

Volltext

A Survey on Applications of Formal Methods in Analysis of SCADA Systems von Marović, Mihael, Derek, Ante, Groš, Stjepan

Volltext

A derivation system and compositional logic for security protocols von Datta, Anupam, Derek, Ante, Mitchell, John C., Pavlovic, Dusko

Volltext

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

Volltext bestellen

Compositional analysis of contract-signing protocols von Backes, Michael, Datta, Anupam, Derek, Ante, Mitchell, John C., Turuani, Mathieu

Volltext

Formal Security Analysis of the AMD SEV-SNP Software Interface von Paradžik, Petar, Ante Derek, Horvat, Marko

Volltext

Inductive trace properties for computational security von Roy, Arnab, Datta, Anupam, Derek, Ante, Mitchell, John C.

Volltext

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

Volltext

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case von Hartl, Zvonimir, Đerek, Ante

Volltext bestellen

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

Volltext bestellen

Games and the Impossibility of Realizable Ideal Functionality von Datta, Anupam, Derek, Ante, Mitchell, John C., Ramanathan, Ajith, Scedrov, Andre

Volltext

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

Custody service for authorising transactions von Pedro Antonino, Vedran Novoselac, Tomislav Hecimovic, Ante Derek, Mario Matijasevic, Ivan Vidakovic

Volltext bestellen

Custody service for authorising transactions von Pedro Antonino, Vedran Novoselac, Tomislav Hecimovic, Ante Derek, Mario Matijasevic, Ivan Vidakovic

Volltext bestellen

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

Volltext bestellen

Inductive Proofs of Computational Secrecy von Roy, Arnab, Datta, Anupam, Derek, Ante, Mitchell, John C.

Volltext

Automatically generating models of IT systems von Kovačević, Ivan, Groš, Stjepan, Đerek, Ante

Volltext

Computationally sound compositional logic for key exchange protocols von Datta, A., Derek, A., Mitchell, J.C., Warinschi, B.

Volltext

Abstraction and refinement in protocol derivation von Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.

Volltext