TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 7.

Barthe, Gilles and Dupressoir, Francois and Faust, Sebastian and Gregoire, Benjamin and Standaert, Francois-Xavier and Strub, Pierre-Yves (2017):
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model.
In: 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₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-56620-7_19],
[Conference or Workshop Item]

Barthe, Gilles and Dupressoir, Francois and Faust, Sebastian and Gregoire, Benjamin and Standaert, Francois-Xavier and Strub, Pierre-Yves (2016):
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model.
In: IACR Cryptology ePrint Archive, p. 912, 2016, [Online-Edition: http://eprint.iacr.org/2016/912],
[Article]

Bubel, Richard and Hähnle, Reiner and Geilmann, Ulrich
Barthe, Gilles and Schneider, Gerardo and Pardo, Alberto (eds.) (2011):
A Formalisation of Java Strings for Program Specification and Verification.
In: Proc. 9th International Conference on Software Engineering and Formal Methods ({SEFM}), Montevideo, Uruguay, IEEE Computer Society, [Conference or Workshop Item]

Muschevici, Radu and Proenca, Jose and Clarke, Dave
Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo (eds.) (2011):
Modular Modelling of Software Product Lines with Feature Nets.
Springer, In: Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, In: Lecture Notes in Computer Science, 7041, DOI: 10.1007/978-3-642-24690-6₂₂,
[Online-Edition: https://doi.org/10.1007/978-3-642-24690-6_22],
[Conference or Workshop Item]

Barthe, Gilles and Mantel, Heiko and Müller, Peter and Myers, Andrew and Sabelfeld, Andrei (eds.) (2007):
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Dagstuhl, [Conference or Workshop Item]

Barthe, Gilles and Mantel, Heiko and Müller, Peter and Myers, Andrew C. and Sabelfeld, Andrei (eds.) (2007):
Executive Summary and Abstracts Collection of Seminar 0709: Mobility, Ubiquity, and Security.
Dagstuhl, [Conference or Workshop Item]

Hähnle, Reiner and Mostowski, Wojciech
Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis and Muntean, Traian (eds.) (2005):
Verification of Safety Properties in the Presence of Transactions.
In: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, Springer-Verlag, In: LNCS, 3362, [Conference or Workshop Item]

This list was generated on Tue Jun 18 00:21:50 2019 CEST.