Edit Profile (opens in new tab) Mödersheim, Sebastian Alexander Co-Author Distance Author ID: modersheim.sebastian-alexander Published as: Mödersheim, Sebastian; Mödersheim, Sebastian A.; Mödersheim, Sebastian Alexander; Mödersheim, S. more...less Documents Indexed: 17 Publications since 2002 2 Contributions as Editor Co-Authors: 33 Co-Authors with 17 Joint Publications 636 Co-Co-Authors all top 5 Co-Authors 2 single-authored 10 Viganò, Luca 3 Hankes Drielsma, Paul 2 Almousa, Omar 2 Armando, Alessandro 2 Basin, David A. 2 Chevalier, Yannick 2 Compagna, Luca 2 Rusinowitch, Michaël 2 Turuani, Mathieu 2 Vigneron, Laurent 1 Backes, Michael 1 Basin, D. 1 Boichut, Yohan 1 Bouallagui, Mehdi 1 Brucker, Achim D. 1 Bruni, Alessandro 1 Carbone, Marco 1 Cuellar, Jorge 1 Giustolisi, Rosario 1 Gondron, Sébastien 1 Gross, Thomas R. 1 Héam, Pierre-Cyrille 1 Hess, Andreas V. 1 Kouchnarenko, Olga 1 Mantovani, Jacopo 1 Meseguer Guaita, José 1 Modesti, Paolo 1 Nielson, Flemming 1 Palamidessi, Catuscia 1 Pfitzmann, Birgit 1 Riis Nielson, Hanne 1 Schürmann, Carsten 1 von Oheimb, David Serials 2 Lecture Notes in Computer Science 1 Information and Computation Fields 17 Computer science (68-XX) 15 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 84 times in 71 Documents Cited by ▼ Year ▼ The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523 Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 55 2005 Algebraic intruder deductions. Zbl 1143.94339 Basin, David; Mödersheim, Sebastian; Viganò, Luca 6 2005 A formalization of off-line guessing for security protocol analysis. Zbl 1108.68455 Drielsma, Paul Hankes; Mödersheim, Sebastian; Viganò, Luca 4 2005 The open-source fixed-point model checker for symbolic analysis of security protocols. Zbl 1252.68193 Mödersheim, Sebastian; Viganò, Luca 4 2009 Secure pseudonymous channels. Zbl 1481.94077 Mödersheim, Sebastian; Viganò, Luca 3 2009 The AVISS security protocol analysis tool. Zbl 1010.68795 Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 Lazy mobile intruders. Zbl 1390.68280 Mödersheim, Sebastian; Nielson, Flemming; Nielson, Hanne Riis 1 2013 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 On the relationships between models in protocol verification. Zbl 1146.68345 Mödersheim, Sebastian 1 2008 The ASW protocol revisited: a unified view. Zbl 1272.68056 Hankes Drielsma, Paul; Mödersheim, Sebastian 1 2005 Stateful protocol composition. Zbl 1496.68065 Hess, Andreas V.; Mödersheim, Sebastian A.; Brucker, Achim D. 1 2018 Formalizing and proving privacy properties of voting protocols using alpha-beta privacy. Zbl 1496.68136 Gondron, Sébastien; Mödersheim, Sebastian 1 2019 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Formalizing and proving privacy properties of voting protocols using alpha-beta privacy. Zbl 1496.68136 Gondron, Sébastien; Mödersheim, Sebastian 1 2019 Stateful protocol composition. Zbl 1496.68065 Hess, Andreas V.; Mödersheim, Sebastian A.; Brucker, Achim D. 1 2018 Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Lazy mobile intruders. Zbl 1390.68280 Mödersheim, Sebastian; Nielson, Flemming; Nielson, Hanne Riis 1 2013 The open-source fixed-point model checker for symbolic analysis of security protocols. Zbl 1252.68193 Mödersheim, Sebastian; Viganò, Luca 4 2009 Secure pseudonymous channels. Zbl 1481.94077 Mödersheim, Sebastian; Viganò, Luca 3 2009 On the relationships between models in protocol verification. Zbl 1146.68345 Mödersheim, Sebastian 1 2008 Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario. Zbl 1180.68037 Backes, Michael; Mödersheim, Sebastian; Pfitzmann, Birgit; Viganò, Luca 1 2006 The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523 Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L. 55 2005 Algebraic intruder deductions. Zbl 1143.94339 Basin, David; Mödersheim, Sebastian; Viganò, Luca 6 2005 A formalization of off-line guessing for security protocol analysis. Zbl 1108.68455 Drielsma, Paul Hankes; Mödersheim, Sebastian; Viganò, Luca 4 2005 The ASW protocol revisited: a unified view. Zbl 1272.68056 Hankes Drielsma, Paul; Mödersheim, Sebastian 1 2005 The AVISS security protocol analysis tool. Zbl 1010.68795 Armando, Alessandro; Basin, David; Bouallagui, Mehdi; Chevalier, Yannick; Compagna, Luca; Mödersheim, Sebastian; Rusinowitch, Michael; Turuani, Mathieu; Viganò, Luca; Vigneron, Laurent 3 2002 all cited Publications top 5 cited Publications all top 5 Cited by 133 Authors 11 Delaune, Stéphanie 8 Cortier, Véronique 7 Kremer, Steve 6 Mödersheim, Sebastian Alexander 5 Viganò, Luca 4 Basin, David A. 4 Cheval, Vincent 4 Cremers, Cas J. F. 3 Chevalier, Yannick 3 Lafourcade, Pascal 3 Meadows, Catherine A. 3 Rusinowitch, Michaël 2 Arnaud, Mathilde 2 Ayala-Rincón, Mauricio 2 Blanchet, Bruno 2 Caleiro, Carlos 2 Cervesato, Iliano 2 Ciobâcă, Ştefan 2 Comon-Lundh, Hubert 2 Compagna, Luca 2 Gao, Han 2 Genet, Thomas 2 Jaggard, Aaron D. 2 Lugiez, Denis 2 Mauw, Sjouke 2 Radomirović, Saša 2 Sasse, Ralf 2 Ščedrov, Andrej 2 Steel, Graham 2 Tsay, Joe-Kai 2 Warinschi, Bogdan 1 Abadi, Martín 1 Adão, Pedro 1 Almousa, Omar 1 Andova, Suzana 1 Arapinis, Myrto 1 Armando, Alessandro 1 Arsac, Wihem 1 Avanesov, Tigran 1 Babel, Kushal 1 Backes, Michael 1 Baelde, David 1 Belardinelli, Francesco 1 Bella, Giampaolo 1 Ben Rajeb, Narjes 1 Berrima, Mouhebeddine 1 Bhargavan, Karthikeyan 1 Bichhawat, Abhishek 1 Bodei, Chiara 1 Boichut, Yohan 1 Brucker, Achim D. 1 Bruni, Alessandro 1 Carbone, Marco 1 Carbone, Roberto 1 Chang, Ting-Yi 1 Chantry, Xavier 1 Chaudhari, Narendra S. 1 Chevalier, Céline 1 Colvin, Robert J. 1 Datta, Anupam 1 de Vink, Erik P. 1 Degano, Pierpaolo 1 Derek, Ante 1 D’Osualdo, Emanuele 1 Dreier, Jannik 1 Duflot, Marie 1 Duménil, Charles 1 Ennahbaoui, Mohammed 1 Erbatur, Serdar 1 Escobar, Santiago 1 Falcone, Yliès 1 Fallah, Mehran S. 1 Fernández, Maribel 1 Focardi, Riccardo 1 Fournet, Cédric 1 Giustolisi, Rosario 1 Gjøsteen, Kristian 1 Groza, Bogdan 1 Gupta, Shubham 1 Hayes, Ian J. 1 Héam, Pierre-Cyrille 1 Hess, Andreas V. 1 Hirschi, Lucca 1 Hördegen, Heinrich 1 Hosseyni, Pedram 1 Idrissi, Hind 1 Janvier, Romain 1 Kahsai, Temesghen 1 Kassem, Ali 1 Keller, Michel 1 Kiryukhin, V. A. 1 Kouchnarenko, Olga 1 Kurkowski, Mirosław 1 Küsters, Ralf 1 Lakhnech, Yassine 1 Laud, Peeter 1 Liu, Chao-Liang 1 Liu, Ta-Ming 1 Lomuscio, Alessio 1 Luccio, Flaminia L. ...and 33 more Authors all top 5 Cited in 19 Serials 8 Theoretical Computer Science 7 Information and Computation 4 Journal of Automated Reasoning 3 Formal Methods in System Design 2 Journal of Logical and Algebraic Methods in Programming 1 Science of Computer Programming 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Mathematical Structures in Computer Science 1 Tatra Mountains Mathematical Publications 1 Journal of Applied Non-Classical Logics 1 The Journal of Logic and Algebraic Programming 1 Sādhanā 1 Journal of Formalized Reasoning 1 RAIRO. Theoretical Informatics and Applications 1 Symmetry 1 Journal of Applied Mathematics and Computational Mechanics 1 Matematicheskie Voprosy Kriptografii 1 TheoretiCS Cited in 3 Fields 62 Computer science (68-XX) 50 Information and communication theory, circuits (94-XX) 6 Mathematical logic and foundations (03-XX) Citations by Year