Luca Viganò

J. Comput. Secur., 2023

Formal Analysis of Security Protocols with Movement.

[BibT_eX]

[DOI]

Andrew Cook

Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), 2023

Cybersecurity, Nicolas Cage and Peppa Pig.

[BibT_eX]

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

2022

Special issue on socio-technical aspects in security - editorial.

[BibT_eX]

[DOI]

Thomas Groß

J. Comput. Secur., 2022

Editorial: 2021 editors' pick: Computer science.

[BibT_eX]

[DOI]

Kristof Van Laerhoven

Nicola Zannone

Frontiers Comput. Sci., 2022

Automatic Fair Exchanges.

[BibT_eX]

[DOI]

CoRR, 2022

Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show and Tell).

[BibT_eX]

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

Privacy as Reachability.

[BibT_eX]

[DOI]

Sébastien Gondron

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Formal Methods for Socio-technical Security - (Formal and Automated Analysis of Security Ceremonies).

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2022

2021

Resource Controllability of Business Processes Under Conditional Uncertainty.

[BibT_eX]

[DOI]

J. Data Semant., 2021

Event-Based Time-Stamped Claim Logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

Time-stamped claim logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2021

Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Nicolas Cage is the Center of the Cybersecurity Universe.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30, 2021

2020

Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2020

A Formal Approach to Physics-based Attacks in Cyber-physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2020

A formal and automated approach to exploiting multi-stage attacks of web applications.

[BibT_eX]

[DOI]

J. Comput. Secur., 2020

Privacy, Security and Trust in the Internet of Neurons.

[BibT_eX]

[DOI]

Proceedings of the Socio-Technical Aspects in Security and Trust, 2020

X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies.

[BibT_eX]

[DOI]

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

A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement.

[BibT_eX]

[DOI]

Andrew Cook

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

Explainable Security.

[BibT_eX]

[DOI]

Daniele Magazzeni

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

2019

Alpha-Beta Privacy.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2019

Conditional simple temporal networks with uncertainty and decisions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Last man standing: Static, decremental and dynamic resiliency via controller synthesis.

[BibT_eX]

[DOI]

J. Comput. Secur., 2019

Conditional Simple Temporal Networks with Uncertainty and Resources.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2019

Explaining Cybersecurity with Films and the Arts (Extended Abstract).

[BibT_eX]

[DOI]

CoRR, 2019

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

It could be worse, it could be raining: reliable automatic meteorological forecasting.

[BibT_eX]

[DOI]

Francesco Domenichini

Claudio Tomazzoli

CoRR, 2019

Diagnostics as a Reasoning Process: From Logic Structure to Software Design.

[BibT_eX]

[DOI]

J. Comput. Inf. Technol., 2019

Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 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

Resource Controllability of Workflows Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2019

2018

MobSTer: A model-based security testing framework for web applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2018

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies.

[BibT_eX]

[DOI]

Anh Tuan Truong

J. Comput. Secur., 2018

Schrödinger's Man.

[BibT_eX]

[DOI]

CoRR, 2018

Smart Humans... WannaDie?

[BibT_eX]

[DOI]

CoRR, 2018

Gnirut: The Trouble With Being Born Human In An Autonomous World.

[BibT_eX]

[DOI]

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

MMM: May I Mine Your Mind.

[BibT_eX]

[DOI]

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Conditional Uncertainty in Constraint Networks.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Constraint Networks Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

A Formal Approach to Analyzing Cyber-Forensics Evidence.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2018

2017

Compositional Meaning in Logic.

[BibT_eX]

[DOI]

Logica Universalis, 2017

An interpolation-based method for the verification of security protocols.

[BibT_eX]

[DOI]

Marco Rocchetto

J. Comput. Secur., 2017

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations.

[BibT_eX]

[DOI]

Inf. Comput., 2017

A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Access Controlled Temporal Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

A Formal Approach to Exploiting Multi-stage Attacks Based on File-System Vulnerabilities of Web Applications.

[BibT_eX]

[DOI]

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

A Formal Approach to Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 15th International Conference, 2017

2016

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection (Extended Version).

[BibT_eX]

[DOI]

Marco Rocchetto

CoRR, 2016

Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection.

[BibT_eX]

[DOI]

Marco Rocchetto

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

Invisible Security.

[BibT_eX]

[DOI]

Giampaolo Bella

Bruce Christianson

Proceedings of the Security Protocols XXIV, 2016

An automated approach for testing the security of web applications against chained attacks.

[BibT_eX]

[DOI]

Alberto Calvi

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Security Constraints in Temporal Role-Based Access-Controlled Workflows.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

2015

Special issue on security and high performance computing systems.

[BibT_eX]

[DOI]

Luca Spalazzi

J. Comput. Secur., 2015

Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios.

[BibT_eX]

[DOI]

Frontiers ICT, 2015

Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2015

Security is Beautiful (Transcript of Discussion).

[BibT_eX]

[DOI]

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

Security is Beautiful.

[BibT_eX]

[DOI]

Giampaolo Bella

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

Automated analysis of RBAC policies with temporal constraints and static role hierarchies.

[BibT_eX]

[DOI]

Anh Tuan Truong

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2015, 2015

Alice and Bob: Reconciling Formal Models and Implementation.

[BibT_eX]

[DOI]

Omar Almousa

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2014

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete.

[BibT_eX]

[DOI]

Pedro Adão

Paulo Mateus

Theor. Comput. Sci., 2014

Tableau systems for reasoning about risk.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2014

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2014

Non-collaborative Attackers and How and Where to Defend Vulnerable Security Protocols (Transcript of Discussion).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXII, 2014

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version).

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXII, 2014

Sufficient conditions for vertical composition of security protocols.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, 2014

2013

On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators.

[BibT_eX]

[DOI]

Logica Universalis, 2013

A Labeled Deduction System for the Logic UB.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Using Interpolation for the Verification of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 9th International Workshop, 2013

Defining Privacy Is Supposed to Be Easy.

[BibT_eX]

[DOI]

Thomas Groß

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A complete tableau procedure for risk analysis.

[BibT_eX]

[DOI]

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

2012

Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2012

Towards the Secure Provision and Consumption in the Internet of Services.

[BibT_eX]

[DOI]

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

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities.

[BibT_eX]

[DOI]

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

An environmental paradigm for defending security protocols.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

Towards a Logical Framework for Reasoning about Risk.

[BibT_eX]

[DOI]

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Distributed temporal logic for the analysis of security protocol models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2011

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2011

Modal Deduction Systems for Quantum State Transformations.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2011

Labelled natural deduction for a bundled branching temporal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2011

Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".

[BibT_eX]

[DOI]

J. Autom. Reason., 2011

Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]

[BibT_eX]

[DOI]

CoRR, 2011

Meaning Negotiation as Inference

[BibT_eX]

[DOI]

Elisa Burato

CoRR, 2011

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis.

[BibT_eX]

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

Attack Interference: A Path to Defending Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

Blocking Underhand Attacks by Hidden Coalitions.

[BibT_eX]

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2, 2011

Towards Formal Validation of Trust and Security in the Internet of Services.

[BibT_eX]

[DOI]

Proceedings of the Future Internet, 2011

A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes.

[BibT_eX]

[DOI]

Simone Marchesini

Proceedings of the CRiSIS 2011, 2011

Security protocols as environments: A lesson from non-collaboration.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Collaborative Computing: Networking, 2011

2010

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

Back from the future.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Blocking Underhand Attacks by Hidden Coalitions (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2010

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

[BibT_eX]

[DOI]

Alberto Calvi

CoRR, 2010

Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.

[BibT_eX]

[DOI]

Alberto Calvi

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.

[BibT_eX]

[DOI]

Davide Benetti

Massimo Merro

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Deduction System for Meaning Negotiation.

[BibT_eX]

[DOI]

Elisa Burato

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

2009

Labelled Tableaux for Distributed Temporal Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

A History of Until.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)

[BibT_eX]

[DOI]

CoRR, 2009

A Labeled Natural Deduction System for a Fragment of CTL*.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design V, 2009

Secure Pseudonymous Channels.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06).

[BibT_eX]

[DOI]

Inf. Comput., 2008

Labeled Natural Deduction Systems for a Family of Tense Logics.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

A Qualitative Modal Representation of Quantum Register Transformations.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2006

Preface.

[BibT_eX]

[DOI]

Pierpaolo Degano

Theor. Comput. Sci., 2006

On the semantics of Alice&Bob specifications of security protocols.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Automated Reasoning for Security Protocol Analysis.

[BibT_eX]

[DOI]

J. Autom. Reason., 2006

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Towards a Quantitative Analysis of Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Formalizing and Analyzing Sender Invariance.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

OFMC: A symbolic model checker for security protocols.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2005

Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

Automated Security Protocol Analysis With the AVISPA Tool.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Deconstructing Alice and Bob.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

Algebraic Intruder Deductions.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.

[BibT_eX]

[DOI]

Log. J. IGPL, 2004

Metareasoning about Security Protocols using Distributed Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

Preface.

[BibT_eX]

[DOI]

Alessandro Armando

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

A Formalization of Off-Line Guessing for Security Protocol Analysis.

[BibT_eX]

[DOI]

Paul Hankes Drielsma

Proceedings of the Logic for Programming, 2004

2003

Truth-values as Labels: A General Recipe for Labelled Deduction.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

An On-the-Fly Model-Checker for Security Protocol Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2003

CDiff: a new reduction technique for constraint-based analysis of security protocols.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

Fibring Labelled Deduction Systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

A Formal Analysis of the CORBA Security Service.

[BibT_eX]

[DOI]

Frank Rittinger

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Labelled Deduction over Algebras of Truth-Values.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

The AVISS Security Protocol Analysis Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Towards an awareness-based semantics for security protocol analysis.

[BibT_eX]

[DOI]

Rafael Accorsi

Proceedings of the Logical Aspects of Cryptographic Protocol Verification, 2001

A formal data-model of the CORBA security service.

[BibT_eX]

[DOI]

Frank Rittinger

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

2000

An O(n log n)-Space Decision Procedure for the Relevance Logic B+.

[BibT_eX]

[DOI]

Stud Logica, 2000

Labelled non-classical logics.

[BibT_eX]