Name Card

Full name Familienname, Vorname
Küsters, Ralf
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bodei, Chiara ; Degano, Pierpaolo ; Focardi, Riccardo ; Galletta, Letterio ; Tempesta, Mauro Transcompiling FirewallsKonferenzbeitrag Inproceedings 2018
2Cortier, Véronique ; Grimm, Niklas ; Lallemand, Joseph ; Maffei, Matteo Equivalence Properties by Typing in Cryptographic Branching ProtocolsKonferenzbeitrag Inproceedings 2018
3Munz, Reinhard ; Eigner, Fabienne ; Maffei, Matteo ; Francis, Paul ; Garg, Deepak UniTraX: Protecting Data Privacy with Discoverable BiasesKonferenzbeitrag Inproceedings 2018