Browse by Person

Portela, Bernardo and Barbosa, Manuel and Scerri, Guillaume and Warinschi, Bogdan and Bahmani, Raad and Brasser, Ferdinand and Sadeghi, Ahmad-Reza :
Secure Multiparty Computation from SGX.
Financial Cryptography and Data Security
[Conference or Workshop Item] , (2017)

Almeida, José Bacelar and Bangerter, Endre and Barbosa, Manuel and Krenn, Stephan and Sadeghi, Ahmad-Reza and Schneider, Thomas :
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
15. European Symposium on Research in Computer Security (ESORICS'10) Springer
[Conference or Workshop Item] , (2010)

Sadeghi, Ahmad-Reza and Bangerter, Endre and Barbosa, Manuel and Bernstein, Daniel and Damgård, Ivan and Page, Dan and Pagter, Jakob and Sovio, Sampo :
Using Compilers to Enhance Cryptographic Product Development.
Information Security Solutions Europe (ISSE)
[Conference or Workshop Item] , (2009)