by Tange, Koen, Mödersheim, Sebastian, Lalos, Apostolos, Fafoutis, Xenofon, Dragoni, Nicola
Published in Sensors (Basel, Switzerland) (29.09.2021)

by Mödersheim, Sebastian
Published in Rewriting Logic and Its Applications (2022)

by Gondron, Sebastien, Modersheim, Sebastian
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)

by Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian, Modesti, Paolo
Published in Journal of information security and applications (01.10.2016)

by Almousa, Omar, Mödersheim, Sebastian, Viganò, Luca
Published in Programming Languages with Applications to Biology and Security (01.01.2015)

by Hess, Andreas V., Modersheim, Sebastian, Brucker, Achim D., Schlichtkrull, Anders
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)

by CHATZIKOKOLAKIS, Konstantinos, MÖDERSHEIM, Sebastian ALexander, PALAMIDESSI, Catuscia, PANG, Jun
Published in Journal of computer security (01.01.2014)

by Mödersheim, Sebastian, Viganò, Luca, Basin, David
Published in Journal of computer security (01.01.2010)

Year of Publication 2012

by Di Mauro, Alessio, Fafoutis, Xenofon, Mödersheim, Sebastian, Dragoni, Nicola
Published in Secure IT Systems (2013)

by Dougherty, Daniel, Meseguer, Jose, Modersheim, Sebastian Alexander, Rowe, Paul
Year of Publication 2021

by Almousa, Omar, Mödersheim, Sebastian, Modesti, Paolo, Viganò, Luca
Published in Computer Security -- ESORICS 2015 (2015)

by Mödersheim, Sebastian, Nielson, Flemming, Nielson, Hanne Riis
Published in Principles of Security and Trust (2013)

by Fernet, Laouen, Modersheim, Sebastian, Vigano, Luca
Published in 2024 IEEE 37th Computer Security Foundations Symposium (CSF) (08.07.2024)

by Modersheim, Sebastian, Katsoris, Georgios
Published in 2014 IEEE 27th Computer Security Foundations Symposium (01.07.2014)

by Gondron, Sebastien, Modersheim, Sebastian, Vigano, Luca
Published in 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (01.08.2022)

by Hess, Andreas Viktor, Modersheim, Sebastian
Published in 2017 IEEE 30th Computer Security Foundations Symposium (CSF) (01.08.2017)

by Armando, Alessandro, Arsac, Wihem, Avanesov, Tigran, Barletta, Michele, Calvi, Alberto, Cappai, Alessandro, Carbone, Roberto, Chevalier, Yannick, Compagna, Luca, Cuéllar, Jorge, Erzse, Gabriel, Frau, Simone, Minea, Marius, Mödersheim, Sebastian, von Oheimb, David, Pellegrino, Giancarlo, Ponta, Serena Elisa, Rocchetto, Marco, Rusinowitch, Michael, Torabi Dashti, Mohammad, Turuani, Mathieu, Viganò, Luca
Published in Tools and Algorithms for the Construction and Analysis of Systems (2012)

by Hess, Andreas, Modersheim, Sebastian
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)

by Hess, Andreas V., Mödersheim, Sebastian A., Brucker, Achim D.
Published in Computer Security (2018)