Deutsch

Bubel, Richard ; Hähnle, Reiner ; Geilmann, Ulrich
Hrsg.: Barthe, Gilles ; Schneider, Gerardo ; Pardo, Alberto (2011)
A Formalisation of Java Strings for Program Specification and Verification.
Konferenzveröffentlichung, Bibliographie

Muschevici, Radu ; Proenca, Jose ; Clarke, Dave
Hrsg.: Barthe, Gilles ; Pardo, Alberto ; Schneider, Gerardo (2011)
Modular Modelling of Software Product Lines with Feature Nets.
Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings.
doi: 10.1007/978-3-642-24690-6_22
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Mostowski, Wojciech
Hrsg.: Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (2005)
Verification of Safety Properties in the Presence of Transactions.
Konferenzveröffentlichung, Bibliographie

Englisch

Barthe, Gilles ; Dupressoir, Francois ; Faust, Sebastian ; Gregoire, Benjamin ; Standaert, Francois-Xavier ; Strub, Pierre-Yves (2017)
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model.
Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part I.
doi: 10.1007/978-3-319-56620-7_19
Konferenzveröffentlichung, Bibliographie

Barthe, Gilles ; Dupressoir, Francois ; Faust, Sebastian ; Gregoire, Benjamin ; Standaert, Francois-Xavier ; Strub, Pierre-Yves (2016)
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model.
In: IACR Cryptology ePrint Archive, 2016
Artikel, Bibliographie

Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Barthe, Gilles ; Mantel, Heiko ; Müller, Peter ; Myers, Andrew C. ; Sabelfeld, Andrei (2007)
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Konferenzveröffentlichung, Bibliographie