Sebastian Alexander Mödersheim

Sebastian Alexander Mödersheim

Technical University of Denmark - Kongens Lyngby / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435491
Danmarks Tekniske Universitet
person_outline Sebastian Alexander Mödersheim's MOST POPULAR ARTICLES
1-) The AVISPA tool for the automated validation of internet security protocols and applicationsA Armando, D Basin, Y Boichut, Y Chevalier, L Compagna, J Cuéllar, ...International conference on computer aided verification, 281-285, 200513982005
2-) An on-the-fly model-checker for security protocol analysisD Basin, S Mödersheim, L ViganoComputer Security–ESORICS 2003, 253-270, 2003839*2003
3-) A high level protocol specification language for industrial security-sensitive protocolsY Chevalier, L Compagna, J Cuellar, P Hankes Drielsma, J Mantovani, ...Proceedings of workshop on specification and automated processing of …, 20041992004
4-) The AVANTSSAR platform for the automated validation of trust and security of service-oriented architecturesA Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 20121442012
5-) The AVISS security protocol analysis toolA Armando, D Basin, M Bouallagui, Y Chevalier, L Compagna, ...Computer Aided Verification, 349-354, 20021062002