Giampaolo Bella

Gianpietro Castiglione

An Ontological Approach to Compliance Verification of the NIS 2 Directive.

[BibT_eX]

[DOI]

Gianpietro Castiglione

Evaluating the Fork-Awareness of Coverage-Guided Fuzzers.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

A Threat Model for Soft Privacy on Smart Cars.

[BibT_eX]

[DOI]

Mario Raciti

Proceedings of the IEEE European Symposium on Security and Privacy, 2023

Protecting Voice-Controllable Devices Against Self-Issued Voice Commands.

[BibT_eX]

[DOI]

Sergio Esposito

Daniele Sgandurra

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Up-to-Date Threat Modelling for Soft Privacy on Smart Cars.

[BibT_eX]

[DOI]

Mario Raciti

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

Forkfuzz: Leveraging the Fork-Awareness in Coverage-Guided Fuzzing.

[BibT_eX]

[DOI]

Marcello Maugeri

Cristian Daniele

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

The VOCODES Kill Chain for Voice Controllable Devices.

[BibT_eX]

[DOI]

Sergio Esposito

Daniele Sgandurra

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

Towards Grammatical Tagging for the Legal Language of Cybersecurity.

[BibT_eX]

[DOI]

Gianpietro Castiglione

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Modelling human threats in security ceremonies.

[BibT_eX]

[DOI]

Carsten Schürmann

J. Comput. Secur., 2022

Multi-service threats: Attacking and protecting network printers and VoIP phones alike.

[BibT_eX]

[DOI]

Internet Things, 2022

Embedded fuzzing: a review of challenges, tools, and solutions.

[BibT_eX]

[DOI]

Cybersecur., 2022

Attacking and Protecting Network Printers and VoIP Phones alike.

[BibT_eX]

[DOI]

CoRR, 2022

Vulnerability Assessment and Penetration Testing on IP cameras.

[BibT_eX]

[DOI]

CoRR, 2022

Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security.

[BibT_eX]

[DOI]

Comput. Networks, 2022

The ontology for agents, systems and integration of services: recent advancements of OASIS.

[BibT_eX]

[DOI]

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

Interactional Freedom and Cybersecurity.

[BibT_eX]

[DOI]

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2022

Papyrus-Based Safety Analysis Automatization.

[BibT_eX]

[DOI]

Fabrizio Tronci

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

The AILA Methodology for Automated and Intelligent Likelihood Assignment.

[BibT_eX]

[DOI]

Cristian Daniele

Mario Raciti

Proceedings of the 6th International Conference on Cryptography, Security and Privacy, 2022

ALEXA VERSUS ALEXA: Controlling Smart Speakers by Self-Issuing Voice Commands.

[BibT_eX]

[DOI]

Sergio Esposito

Daniele Sgandurra

Proceedings of the ASIA CCS '22: ACM Asia Conference on Computer and Communications Security, Nagasaki, Japan, 30 May 2022, 2022

2021

Out to Explore the Cybersecurity Planet.

[BibT_eX]

[DOI]

CoRR, 2021

Secure Routine: A Routine-Based Algorithm for Drivers Identification.

[BibT_eX]

[DOI]

CoRR, 2021

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

SixPack: Abusing ABS to avoid Misbehavior detection in VANETs.

[BibT_eX]

[DOI]

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Car Drivers' Privacy Concerns and Trust Perceptions.

[BibT_eX]

[DOI]

Giuseppe Tudisco

Proceedings of the Trust, Privacy and Security in Digital Business, 2021

Towards the COSCA framework for "COnseptualing Secure CArs".

[BibT_eX]

[DOI]

Proceedings of the Open Identity Summit 2021, Copenhagen, Denmark, June 1-2, 2021., 2021

Vulnerability Assessment and Penetration Testing on IP camera.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Internet of Things: Systems, 2021

Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XIV, 2021

Semantic Representation as a Key Enabler for Blockchain-Based Commerce.

[BibT_eX]

[DOI]

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

Privacy and modern cars through a dual lens.

[BibT_eX]

[DOI]

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

VoIP Can Still Be Exploited - Badly.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Fog and Mobile Edge Computing, 2020

CINNAMON: A Module for AUTOSAR Secure Onboard Communication.

[BibT_eX]

[DOI]

Proceedings of the 16th European Dependable Computing Conference, 2020

2019

Are you secure in your car?: poster.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, 2019

You Already Used Formal Methods but Did Not Know It.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

You Overtrust Your Printer.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2019

Implementing CAN bus security by TOUCAN.

[BibT_eX]

[DOI]

Proceedings of the Twentieth ACM International Symposium on Mobile Ad Hoc Networking and Computing, 2019

What Are the Threats? (Charting the Threat Models of Security Ceremonies).

[BibT_eX]

[DOI]

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

An Investigation into the "Beautification" of Security Ceremonies.

[BibT_eX]

[DOI]

Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, 2019

TOUCAN: A proTocol tO secUre Controller Area Network.

[BibT_eX]

[DOI]

Proceedings of the ACM Workshop on Automotive Cybersecurity, 2019

2018

Invalid certificates in modern browsers: A socio-technical analysis.

[BibT_eX]

[DOI]

J. Comput. Secur., 2018

Towards an Integrated Penetration Testing Environment for the CAN Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Getmewhere: A Location-Based Privacy-Preserving Information Service.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

2017

Trustworthy exams without trusted parties.

[BibT_eX]

[DOI]

Comput. Secur., 2017

Analysing Privacy Analyses.

[BibT_eX]

[DOI]

Hugo Jonker

Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Idea: A Unifying Theory for Evaluation Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017

2016

Invisible Security.

[BibT_eX]

[DOI]

Bruce Christianson

Luca Viganò

Proceedings of the Security Protocols XXIV, 2016

Invisible Security (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXIV, 2016

2015

Service security and privacy as a socio-technical problem.

[BibT_eX]

[DOI]

Paul Curzon

J. Comput. Secur., 2015

Special issue on the Security Track at the ACM Symposium on Applied Computing 2013.

[BibT_eX]

[DOI]

Helge Janicke

Int. J. Inf. Sec., 2015

Security is Beautiful.

[BibT_eX]

[DOI]

Luca Viganò

Proceedings of the Security Protocols XXIII - 23rd International Workshop, Cambridge, UK, March 31, 2015

A Secure Exam Protocol Without Trusted Parties.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2015

2014

Inductive study of confidentiality: for everyone.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Secure exams despite malicious management.

[BibT_eX]

[DOI]

Proceedings of the 2014 Twelfth Annual International Conference on Privacy, 2014

A Socio-technical Methodology for the Security and Privacy Analysis of Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

The Challenges behind Independent Living Support Systems.

[BibT_eX]

[DOI]

Pekka Jäppinen

Jussi Laakkonen

Proceedings of the Active Media Technology - 10th International Conference, 2014

2013

Enhancing DSR maintenance with power awareness.

[BibT_eX]

[DOI]

Comput. Stand. Interfaces, 2013

Socio-technical formal analysis of TLS certificate validation in modern browsers.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

A Socio-technical Understanding of TLS Certificate Validation.

[BibT_eX]

[DOI]

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Towards Verifying Voter Privacy through Unlinkability.

[BibT_eX]

[DOI]

David Gray

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

What security for electronic exams?

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013

2012

Inductive Study of Confidentiality.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2012

Foreword from the Workshop Chairs - STAST 2012.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Socio-Technical Aspects in Security and Trust, 2012

Verifying Privacy by Little Interaction and No Process Equivalence.

[BibT_eX]

Proceedings of the SECRYPT 2012, 2012

Layered Analysis of Security Ceremonies.

[BibT_eX]

[DOI]

Lizzie Coles-Kemp

Proceedings of the Information Security and Privacy Research, 2012

Specifying security requirements of context aware system using UML.

[BibT_eX]

[DOI]

Saad Almutairi

Ala Abu-Samaha

Proceedings of the Seventh International Conference on Digital Information Management, 2012

2011

Multi-Attacker Protocol Validation.

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Enforcing privacy in e-commerce by balancing anonymity and trust.

[BibT_eX]

[DOI]

Comput. Secur., 2011

Internet Users' Security and Privacy While They Interact with Amazon.

[BibT_eX]

[DOI]

Lizzie Coles-Kemp

Proceedings of the IEEE 10th International Conference on Trust, 2011

Remote Management of Face-to-face Written Authenticated Though Anonymous Exams.

[BibT_eX]

Proceedings of the CSEDU 2011, 2011

Holistic analysis of mix protocols.

[BibT_eX]

[DOI]

David Gray

Proceedings of the 7th International Conference on Information Assurance and Security, 2011

2010

The principle of guarantee availability for security protocol analysis.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2010

Virtually Perfect Democracy.

[BibT_eX]

[DOI]

Vanessa Teague

Proceedings of the Security Protocols XVIII, 2010

WATA - A System for Written Authenticated though Anonymous Exams.

[BibT_eX]

Gianpiero Costantino

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009

Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing.

[BibT_eX]

[DOI]

J. Comput. Secur., 2009

Attacking Each Other.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XVII, 2009

Validating Security Protocols under the General Attacker.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Security Analysis, 2009

Formal Analysis of the Genetic Toggle.

[BibT_eX]

[DOI]

Pietro Liò

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

What is Correctness of Security Protocols?

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Security Protocol Deployment Risk.

[BibT_eX]

[DOI]

Simon N. Foley

Proceedings of the Security Protocols XVI, 2008

Special track on Computer Security: editorial message.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Realistic Threats to Self-Enforcing Privacy.

[BibT_eX]

[DOI]

Francesco Librizzi

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

Managing Reputation over MANETs.

[BibT_eX]

[DOI]

Gianpiero Costantino

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008

2007

Formal Correctness of Security Protocols - With 62 Figures and 4 Tables

[BibT_eX]

[DOI]

Information Security and Cryptography, Springer, ISBN: 978-3-540-68134-2, 2007

2006

Accountability protocols: Formalized and verified.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2006

Verifying the SET Purchase Protocols.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Augmented Risk Analysis.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Editorial message: special track on computer security.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

Guest Editors' preface.

[BibT_eX]

[DOI]

J. Comput. Secur., 2005

An overview of the verification of SET.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Information Assurance for security protocols.

[BibT_eX]

[DOI]

Comput. Secur., 2005

Special track on computer security.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Locating Mobile Nodes Within Logical Networks.

[BibT_eX]

Costantino Pistagna

Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005

2004

Soft Constraint Programming to Analysing Security Protocols.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2004

Distributed Backup through Information Dispersal.

[BibT_eX]

[DOI]

Costantino Pistagna

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Soft Constraints for Security.

[BibT_eX]

[DOI]

Simon N. Foley

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

Special Issue: Computer Security.

[BibT_eX]

[DOI]

Ronaldo Menezes

Concurr. Pract. Exp., 2004

Editoral message: special track on computer security.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Should We Prove Security Policies Correct?

[BibT_eX]

Sebastiano Battiato

Proceedings of the Electronic Government and Commerce: Design, Modeling, Analysis and Security, 2004

2003

Verifying the SET registration protocols.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 2003

Inductive Verification of Smart Card Protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2003

Verifying Second-Level Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Is the Verification Problem for Cryptographic Protocols Solved?.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

Biometrics to Enhance Smartcard Security.

[BibT_eX]

[DOI]

Fabio Martinelli

Proceedings of the Security Protocols, 2003

A Protocol's Life After Attacks....

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

A Protocol's Life After Attacks... (Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2003

Computer Security Track Editorial.

[BibT_eX]

[DOI]

Ronaldo Menezes

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Availability of Protocol Goals.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

2002

Analyzing Delegation Properties.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2002

Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2002

Editorial Message: special track on computer security.

[BibT_eX]

[DOI]

Ronaldo Menezes

James A. Whittaker

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Interactive simulation of security policies.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

The verification of an industrial payment protocol: the SET purchase phase.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Conference on Computer and Communications Security, 2002

2001

Mechanical Proofs about a Non-repudiation Protocol.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

A Proof of Non-repudiation.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2001

Soft Constraints for Security Protocol Analysis: Confidentiality.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

Mechanising a Protocol for Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Smart Card Programming and Security, 2001

2000

Inductive verification of cryptographic protocols

[BibT_eX]

[DOI]

PhD thesis, 2000

Making Sense of Specifications: The Formalization of SET.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2000

Lack of Explicitness Strikes Back (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2000

Lack of Explicitness Strikes Back.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 2000

Formal Verification of Cardholder Registration in SET.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2000

1999

Modelling Agents' Knowledge Inductively.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols, 1999

1998

Kerberos Version 4: Inductive Analysis of the Secrecy Goals.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 1998

Mechanising BAN Kerberos by the Inductive Method.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

A Realistic Environment for Crypto-Protocol Analyses by ASMs.

[BibT_eX]

Elvinia Riccobene

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1997

Formal Analysis of the Kerberos Authentication System.

[BibT_eX]

[DOI]