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

Almeida, José Bacelar and Bangerter, Endre and Barbosa, Manuel and Krenn, Stephan and Sadeghi, Ahmad-Reza and Schneider, Thomas (2010):
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
In: 15. European Symposium on Research in Computer Security (ESORICS'10), Springer, pp. 151-167, DOI: 10.1007/978-3-642-15497-3_10,
[Online-Edition: https://encrypto.de/papers/ABBKSS10.pdf],
[Conference or Workshop Item]

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 (2009):
Using Compilers to Enhance Cryptographic Product Development.
In: Information Security Solutions Europe (ISSE), [Conference or Workshop Item]