Special issue on first-order theorem proving : [ ... The Sixth Workshop on First-Order Theorem Proving, FTP 2007, was held at the University of Liverpool, UK, in September 2007]

Veröffentlicht 2009

Asset Sensitivity for Aligning Risk Assessment Across Multiple Units in Complex Organizations

von Mascia, Carla
Veröffentlicht in FPS (14. : 2021 : Paris) Foundations and practice of security (2022)

Integrating a Pentesting Tool for IM Protocols in a Continuous Delivery Pipeline

von Bisegna, Andrea
Veröffentlicht in ETAA (4. : 2021 : Darmstadt) Emerging technologies for authorization and authentication (2021)

Cryptographic Enforcement of Access Control Policies in the Cloud: Implementation and Experimental Assessment

von Berlato, Stefano
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Multi-Stakeholder Cybersecurity Risk Assessment for Data Protection

von Mollaeefar, Majid
Veröffentlicht in SECRYPT (17. : 2020 : Online) SECRYPT 2020 (2020)

An Open and Flexible CyberSecurity Training Laboratory in lT/OT Infrastructures

von Nicolodi,, Umberto Morelli, Lorenzo
Veröffentlicht in ESORICS (24. : 2019 : Luxemburg) Computer security (2020)

Enroll, and Authentication Will Follow: eID-Based Enrollment for a Customized, Secture, and Frictionless Authentication Experience

von Ranise, Silvio
Veröffentlicht in FPS (12. : 2019 : Toulouse) Foundations and practice of security (2020)

A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments

von Pernpruner, Marco
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Frontiers of combining systems : 10th international symposium , FroCoS 2015, Wroclaw, Poland, September 21 - 24, 2015 ; proceedings

Veröffentlicht 2015

Security and trust management : 9th international workshop, STM 2013, Egham, UK, September 12 - 13, 2013 ; proceedings

Veröffentlicht 2013

Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments

von Dashti, Salimeh
Veröffentlicht in DBSec (35. : 2021 : Online) Data and Applications Security and Privacy XXXV (2021)

TLSAssistant Goes FINSEC A Security Platform Integration Extending Threat Intelligence Language

von Manfredi, Salvatore
Veröffentlicht in CPS4CIP (1. : 2020 : Online) Cyber-Physical security for critical infrastructures protection (2021)

Micro-Id-Gym: A Flexible Tool for Pentesting Identity Management Protocols in the Wild and in the Laboratory

von Bisegna, Andrea
Veröffentlicht in ETAA (3. : 2020 : Online) Emerging technologies for authorization and authentication (2020)

End-to-End Protection of IoT Communications Through Cryptographic Enforcement of Access Control Policies

von Berlato, Stefano
Veröffentlicht in DBSec (36. : 2022 : Newark, NJ) Data and applications security and privacy XXXVI (2022)

Automated and Secure Integration of the OpenID Connect iGov Profile in Mobile Native Applications

von Sharif, Amir
Veröffentlicht in ETAA (3. : 2020 : Online) Emerging technologies for authorization and authentication (2020)

MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols

von Sinigaglia, Federico
Veröffentlicht in ETAA (2. : 2019 : Luxemburg) Emerging technologies for authorization and authentication (2020)

Verifiable Contracting

von Goncalves, Sérgio Manuel Nobrega
Veröffentlicht in DETIPS (2020 : Online) Computer security (2020)

Can Data Subject Perception of Privacy Risks Be Useful in a Data Protection Impact Assessment?

von Dashti, Salimeh
Veröffentlicht in SECRYPT (18. : 2021 : Online) SECRYPT 2021 (2021)

Data and applications security and privacy XXX : 30th annual IFIP WG 11.3 working conference, DBSec 2016, Trento, Italy, July 18-20, 2016 : proceedings

Veröffentlicht 2016

Cyber-Physical security for critical infrastructures protection : first international workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020 : revised selected papers

Veröffentlicht 2021