On the public citation graph
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
0 signed · 453 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/inco.1998.2740openalex-snapshot
A Calculus for Cryptographic Protocols: The Spi Calculus
inferredcites →https://doi.org/10.1007/11513988_27openalex-snapshot
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
inferredcites →https://doi.org/10.1007/11681878_20openalex-snapshot
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols
inferredcites →https://doi.org/10.1007/3-540-36576-1_9openalex-snapshot
Verification of Cryptographic Protocols: Tagging Enforces Termination
inferredcites →https://doi.org/10.1007/3-540-44585-4_21openalex-snapshot
AGVI — Automatic Generation, Verification, and Implementation of Security Protocols
inferredcites →https://doi.org/10.1007/3-540-44881-0_12openalex-snapshot
New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols
inferredcites →https://doi.org/10.1007/3-540-48660-7_29openalex-snapshot
Towards an Automatic Analysis of Security Protocols in First-Order Logic
inferredcites →https://doi.org/10.1007/3-540-61042-1_43openalex-snapshot
Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
inferredcites →https://doi.org/10.1007/978-0-387-09428-1_17openalex-snapshot
Automatic Verification of Privacy Properties in the Applied pi Calculus
inferredcites →https://doi.org/10.1007/978-3-319-10082-1_3openalex-snapshot
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
inferredcites →https://doi.org/10.1007/978-3-319-11851-2_11openalex-snapshot
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA
inferredcites →https://doi.org/10.1007/978-3-540-24597-1_11openalex-snapshot
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents
inferredcites →https://doi.org/10.1007/978-3-540-24597-1_31openalex-snapshot
Tagging Makes Secrecy Decidable with Unbounded Nonces as Well
inferredcites →https://doi.org/10.1007/978-3-540-30579-8_24openalex-snapshot
Cryptographic Protocol Analysis on Real C Code
inferredcites →https://doi.org/10.1007/978-3-540-30580-4_6openalex-snapshot
Password-Based Authenticated Key Exchange in the Three-Party Setting
inferredcites →https://doi.org/10.1007/978-3-540-31987-0_14openalex-snapshot
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
inferredcites →https://doi.org/10.1007/978-3-540-32033-3_22openalex-snapshot
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
inferredcites →https://doi.org/10.1007/978-3-540-32275-7_24openalex-snapshot
A Formalization of Off-Line Guessing for Security Protocol Analysis
inferredcites →https://doi.org/10.1007/978-3-540-77050-3_31openalex-snapshot
Bounding Messages for Free in Security Protocols
inferredcites →https://doi.org/10.1007/978-3-642-03829-7_6openalex-snapshot
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
inferredcites →https://doi.org/10.1007/978-3-642-22792-9_5openalex-snapshot
Computer-Aided Security Proofs for the Working Cryptographer
inferredcites →https://doi.org/10.1007/978-3-642-28641-4_2openalex-snapshot
Security Protocol Verification: Symbolic and Computational Models
inferredcites →https://doi.org/10.1007/978-3-642-28641-4_7openalex-snapshot
A Formal Analysis of the Norwegian E-voting Protocol
inferredcites →https://doi.org/10.1007/978-3-642-28869-2_6openalex-snapshot
Automated Verification of Equivalence Properties of Cryptographic Protocols
inferredcites →https://doi.org/10.1007/978-3-642-36213-2_12openalex-snapshot
Towards a Verified Reference Implementation of a Trusted Platform Module
inferredcites →https://doi.org/10.1007/978-3-642-36830-1_12openalex-snapshot
Proving More Observational Equivalences with ProVerif
inferredcites →https://doi.org/10.1007/978-3-642-36830-1_13openalex-snapshot
Formal Verification of e-Auction Protocols
inferredcites →https://doi.org/10.1007/978-3-642-36830-1_7openalex-snapshot
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
inferredcites →https://doi.org/10.1007/978-3-642-54792-8_2openalex-snapshot
Stateful Applied Pi Calculus
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_3openalex-snapshot
SATMC: A SAT-Based Model Checker for Security-Critical Systems
inferredcites →https://doi.org/10.1007/978-3-662-44709-3_12openalex-snapshot
Making RSA–PSS Provably Secure against Non-random Faults
inferredcites →https://doi.org/10.1007/978-3-662-46666-7_8openalex-snapshot
Automatically Checking Commitment Protocols in ProVerif without False Attacks
inferredcites →https://doi.org/10.1007/bfb0053560openalex-snapshot
A bisimulation method for cryptographic protocols
inferredcites →https://doi.org/10.1007/s00145-001-0014-7openalex-snapshot
Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)
inferredcites →https://doi.org/10.1007/s10207-004-0055-7openalex-snapshot
OFMC: A symbolic model checker for security protocols
inferredcites →https://doi.org/10.1007/s10817-010-9187-9openalex-snapshot
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
inferredcites →https://doi.org/10.1016/0743-1066(95)00095-xopenalex-snapshot
The NRL Protocol Analyzer: An Overview
inferredcites →https://doi.org/10.1016/0890-5401(92)90009-5openalex-snapshot
A calculus of mobile processes, II
inferredcites →https://doi.org/10.1016/b978-044450813-3/50004-7openalex-snapshot
Resolution Theorem Proving
inferredcites →https://doi.org/10.1016/j.cose.2009.08.001openalex-snapshot
Provably correct Java implementations of Spi Calculus security protocols specifications
inferredcites →https://doi.org/10.1016/j.entcs.2004.10.007openalex-snapshot
Analysing Password Protocol Security Against Off-line Dictionary Attacks
inferredcites →https://doi.org/10.1016/j.entcs.2006.11.044openalex-snapshot
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
inferredcites →https://doi.org/10.1016/j.jlap.2007.06.002openalex-snapshot
Automated Verification of Selected Equivalences for Security Protocols
inferredcites →https://doi.org/10.1016/j.scico.2005.02.002openalex-snapshot
Computer-assisted verification of a protocol for certified email
inferredcites →https://doi.org/10.1016/j.scico.2015.04.004openalex-snapshot
Formal analysis of privacy in Direct Anonymous Attestation schemes
inferredcites →https://doi.org/10.1016/j.tcs.2005.01.015openalex-snapshot
An NP decision procedure for protocol insecurity with XOR
inferredcites →https://doi.org/10.1016/j.tcs.2006.08.032openalex-snapshot
Deciding knowledge in security protocols under equational theories
inferredcites →https://doi.org/10.1016/j.tcs.2006.08.035openalex-snapshot
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties
inferredcites →https://doi.org/10.1016/s0167-6423(02)00132-6openalex-snapshot
Abstracting cryptographic protocols with tree automata
inferredcites →https://doi.org/10.1016/s0304-3975(02)00490-5openalex-snapshot
Protocol insecurity with a finite number of sessions and composed keys is NP-complete
inferredcites →https://doi.org/10.1016/s1571-0661(04)80530-9openalex-snapshot
Deciding Framed Bisimilarity
inferredcites →https://doi.org/10.1109/32.481513openalex-snapshot
Prudent engineering practice for cryptographic protocols
inferredcites →https://doi.org/10.1109/aina.2004.1283943openalex-snapshot
Spi2Java: automatic cryptographic protocol Java code generation from SPI calculus
inferredcites →https://doi.org/10.1109/ares.2011.117openalex-snapshot
The Java SPI Framework for Security Protocol Implementation
inferredcites →https://doi.org/10.1109/csf.2008.26openalex-snapshot
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
inferredcites →https://doi.org/10.1109/csf.2009.17openalex-snapshot
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
inferredcites →https://doi.org/10.1109/csf.2009.20openalex-snapshot
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
inferredcites →https://doi.org/10.1109/csf.2010.23openalex-snapshot
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
inferredcites →https://doi.org/10.1109/csf.2010.28openalex-snapshot
Automating Open Bisimulation Checking for the Spi Calculus
inferredcites →https://doi.org/10.1109/csf.2011.10openalex-snapshot
StatVerif: Verification of Stateful Processes
inferredcites →https://doi.org/10.1109/csf.2011.12openalex-snapshot
Formal Analysis of Protocols Based on TPM State Registers
inferredcites →https://doi.org/10.1109/csf.2011.8openalex-snapshot
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols
inferredcites →https://doi.org/10.1109/csf.2012.10openalex-snapshot
Symbolic Analysis of Cryptographic Protocols Containing Bilinear Pairings
inferredcites →https://doi.org/10.1109/csf.2012.25openalex-snapshot
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
inferredcites →https://doi.org/10.1109/csf.2012.27openalex-snapshot
Discovering Concrete Attacks on Website Authorization by Formal Analysis
inferredcites →https://doi.org/10.1109/csf.2015.19openalex-snapshot
Decidability of Trace Equivalence for Protocols with Nonces
inferredcites →https://doi.org/10.1109/csf.2015.20openalex-snapshot
Set-Pi: Set Membership p-Calculus
inferredcites →https://doi.org/10.1109/csf.2015.35openalex-snapshot
Symbolic Malleable Zero-Knowledge Proofs
inferredcites →https://doi.org/10.1109/csf.2016.29openalex-snapshot
Automated Reasoning for Equivalences in the Applied Pi Calculus with Barriers
inferredcites →https://doi.org/10.1109/csfw.1997.596782openalex-snapshot
A hierarchy of authentication specifications
inferredcites →https://doi.org/10.1109/csfw.2000.856942openalex-snapshot
How to prevent type flaw attacks on security protocols
inferredcites →https://doi.org/10.1109/csfw.2001.930145openalex-snapshot
Protocol insecurity with finite number of sessions is NP-complete
inferredcites →https://doi.org/10.1109/csfw.2002.1021808openalex-snapshot
Types and effects for asymmetric cryptographic protocols
inferredcites →https://doi.org/10.1109/csfw.2002.1021826openalex-snapshot
A simple view of type-secure information flow in the π-calculus
inferredcites →https://doi.org/10.1109/csfw.2004.1310728openalex-snapshot
A theory of dictionary attacks and its complexity
inferredcites →https://doi.org/10.1109/csfw.2004.3openalex-snapshot
A theory of dictionary attacks and its complexity
inferredcites →https://doi.org/10.1109/csfw.2005.25openalex-snapshot
Reconstruction of attacks against cryptographic protocols
inferredcites →https://doi.org/10.1109/csfw.2006.32openalex-snapshot
Verified Interoperable Implementations of Security Protocols
inferredcites →https://doi.org/10.1109/icws.2005.138openalex-snapshot
WSEmail: secure Internet messaging based on Web services
inferredcites →https://doi.org/10.1109/lics.2003.1210067openalex-snapshot
Intruder deductions, constraint solving and insecurity decision in presence of exclusive or
inferredcites →https://doi.org/10.1109/risp.1992.213269openalex-snapshot
Encrypted key exchange: password-based protocols secure against dictionary attacks
inferredcites →https://doi.org/10.1109/risp.1993.287633openalex-snapshot
A semantic model for authentication protocols
inferredcites →https://doi.org/10.1109/secpri.2004.1301317openalex-snapshot
Automatic proof of strong secrecy for security protocols
inferredcites →https://doi.org/10.1109/sp.2008.12openalex-snapshot
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
inferredcites →https://doi.org/10.1109/sp.2008.23openalex-snapshot
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
inferredcites →https://doi.org/10.1109/sp.2009.17openalex-snapshot
Formally Certifying the Security of Digital Signature Schemes
inferredcites →https://doi.org/10.1109/sp.2013.37openalex-snapshot
Implementing TLS with Verified Cryptographic Security
inferredcites →https://doi.org/10.1109/sp.2014.18openalex-snapshot
Automated Analysis of Security Protocols with Global State
inferredcites →https://doi.org/10.1109/sp.2014.19openalex-snapshot
Automated Verification of Group Key Agreement Protocols
inferredcites →https://doi.org/10.1109/sp.2015.39openalex-snapshot
A Messy State of the Union: Taming the Composite State Machines of TLS
inferredcites →https://doi.org/10.1109/tdsc.2007.1005openalex-snapshot
A Computationally Sound Mechanized Prover for Security Protocols
inferredcites →https://doi.org/10.1109/tit.1976.1055638openalex-snapshot
New directions in cryptography
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/1030083.1030120openalex-snapshot
Verifying policy-based security for web services
inferredcites →https://doi.org/10.1145/1044731.1044735openalex-snapshot
Analyzing security protocols with secrecy types and logic programs
inferredcites →https://doi.org/10.1145/1266977.1266978openalex-snapshot
Just fast keying in the pi calculus
inferredcites →https://doi.org/10.1145/1455770.1455787openalex-snapshot
Unbounded verification, falsification, and characterization of security protocols by pattern refinement
inferredcites →https://doi.org/10.1145/1455770.1455788openalex-snapshot
Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach
inferredcites →https://doi.org/10.1145/1455770.1455828openalex-snapshot
Cryptographically verified implementations for TLS
inferredcites →https://doi.org/10.1145/1480881.1480894openalex-snapshot
Formal certification of code-based cryptographic proofs
inferredcites →https://doi.org/10.1145/168588.168618openalex-snapshot
Augmented encrypted key exchange
inferredcites →https://doi.org/10.1145/1706299.1706350openalex-snapshot
Modular verification of security protocol code by typing
inferredcites →https://doi.org/10.1145/1707801.1706350openalex-snapshot
Modular verification of security protocol code by typing
inferredcites →https://doi.org/10.1145/1866307.1866348openalex-snapshot
Abstraction by set-membership
inferredcites →https://doi.org/10.1145/1890028.1890031openalex-snapshot
Refinement types for secure implementations
inferredcites →https://doi.org/10.1145/2003476.2003488openalex-snapshot
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
inferredcites →https://doi.org/10.1145/2034574.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2034773.2034811openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1145/2046707.2046745openalex-snapshot
Extracting and verifying cryptographic models from C protocol code by symbolic execution
inferredcites →https://doi.org/10.1145/2382196.2382271openalex-snapshot
Computational verification of C protocol implementations by symbolic execution
inferredcites →https://doi.org/10.1145/2508859.2516652openalex-snapshot
Certified computer-aided cryptography
inferredcites →https://doi.org/10.1145/2810103.2813662openalex-snapshot
Automated Symbolic Proofs of Observational Equivalence
inferredcites →https://doi.org/10.1145/2811262openalex-snapshot
From Security Protocols to Pushdown Automata
inferredcites →https://doi.org/10.1145/324133.324266openalex-snapshot
Secrecy by typing in security protocols
inferredcites →https://doi.org/10.1145/358722.358740openalex-snapshot
Timestamps in key distribution protocols
inferredcites →https://doi.org/10.1145/359657.359659openalex-snapshot
Using encryption for authentication in large networks of computers
inferredcites →https://doi.org/10.1145/373243.360213openalex-snapshot
Mobile values, new names, and secure communication
inferredcites →https://doi.org/10.1145/503272.503302openalex-snapshot
Information flow inference for ML
inferredcites →https://doi.org/10.1145/511446.511497openalex-snapshot
Certified email with a light on-line trusted third party
inferredcites →https://doi.org/10.2168/lmcs-3(3:2)2007openalex-snapshot
Relating two standard notions of secrecy
inferredcites →https://doi.org/10.3233/978-1-60750-714-7-86openalex-snapshot
Using Horn Clauses for Analyzing Security Protocols
inferredcites →https://doi.org/10.3233/978-1-61499-028-4-1openalex-snapshot
Mechanizing Game-Based Proofs of Security Protocols
inferredcites →https://doi.org/10.3233/jcs-150524openalex-snapshot
Proved generation of implementations from computationally secure protocol specifications
inferredcites →https://doi.org/10.3233/jcs-160556openalex-snapshot
Automated analysis of security protocols with global state
inferredcites →https://doi.org/10.3233/jcs-2004-12203openalex-snapshot
Multiset rewriting and the complexity of bounded security protocols
inferredcites →https://doi.org/10.3233/jcs-2004-123-406openalex-snapshot
Types and effects for asymmetric cryptographic protocols
inferredcites →https://doi.org/10.3233/jcs-2009-0339openalex-snapshot
Automatic verification of correspondences for security protocols
inferredcites →https://doi.org/10.3233/jcs-2009-0340openalex-snapshot
Verifying privacy-type properties of electronic voting protocols
inferredcites →https://doi.org/10.48550/arxiv.1609.03003openalex-snapshot
The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781119471509.w5gref262openalex-snapshot
Security for Handover and D2D Communication in 5G HetNets
inferred← citeshttps://doi.org/10.1002/9781119771982.ch7openalex-snapshot
Protecting Patient Data with 2F‐ Authentication
inferred← citeshttps://doi.org/10.1002/cpe.7602openalex-snapshot
A secure communication using multifactor authentication and key agreement techniques in internet of medical things for COVID ‐19 patients
inferred← citeshttps://doi.org/10.1007/978-3-030-03314-9_30openalex-snapshot
KaoChow Protocol Timed Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-04762-7_2openalex-snapshot
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)
inferred← citeshttps://doi.org/10.1007/978-3-030-13435-8_26openalex-snapshot
Rule-Based Unification in Combined Theories and the Finite Variant Property
inferred← citeshttps://doi.org/10.1007/978-3-030-17138-4_7openalex-snapshot
Symbolic Verification of Distance Bounding Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-22102-7_24openalex-snapshot
Building and Combining Matching Algorithms
inferred← citeshttps://doi.org/10.1007/978-3-030-28957-7_43openalex-snapshot
A Fast Method for Security Protocols Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-29436-6_21openalex-snapshot
Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
inferred← citeshttps://doi.org/10.1007/978-3-030-29959-0_19openalex-snapshot
Symbolic Analysis of Terrorist Fraud Resistance
inferred← citeshttps://doi.org/10.1007/978-3-030-54994-7_28openalex-snapshot
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-030-57805-3_14openalex-snapshot
Probabilistic and Timed Analysis of Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-59013-0_12openalex-snapshot
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
inferred← citeshttps://doi.org/10.1007/978-3-030-62077-6_10openalex-snapshot
The Hitchhiker’s Guide to Decidability and Complexity of Equivalence Properties in Security Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-63406-3_16openalex-snapshot
Formal Foundations for Intel SGX Data Center Attestation Primitives
inferred← citeshttps://doi.org/10.1007/978-3-030-68446-4_6openalex-snapshot
Terminating Non-disjoint Combined Unification
inferred← citeshttps://doi.org/10.1007/978-3-030-90636-8_1openalex-snapshot
Learning Assumptions for Verifying Cryptographic Protocols Compositionally
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_15openalex-snapshot
Adapting Constraint Solving to Automatically Analyze UPI Protocols
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_22openalex-snapshot
Prototyping Formal Methods Tools: A Protocol Analysis Case Study
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_4openalex-snapshot
A Tutorial-Style Introduction to $$\textsf {DY}^\star $$
inferred← citeshttps://doi.org/10.1007/978-3-030-91631-2_7openalex-snapshot
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty
inferred← citeshttps://doi.org/10.1007/978-3-031-06788-4_42openalex-snapshot
Formal Verification of Security Protocols: ProVerif and Extensions
inferred← citeshttps://doi.org/10.1007/978-3-031-25467-3_5openalex-snapshot
Protecting FIDO Extensions Against Man-in-the-Middle Attacks
inferred← citeshttps://doi.org/10.1007/978-3-031-38100-3_13openalex-snapshot
Implementation of a Reversible Distributed Calculus
inferred← citeshttps://doi.org/10.1007/978-3-031-51479-1_1openalex-snapshot
Layered Symbolic Security Analysis in $$\textsf {DY}^\star $$
inferred← citeshttps://doi.org/10.1007/978-3-031-53555-0_14openalex-snapshot
Formal Analysis of 5G EAP-TLS 1.3
inferred← citeshttps://doi.org/10.1007/978-3-031-62743-9_2openalex-snapshot
A New Hash-Based Enhanced Privacy ID Signature Scheme
inferred← citeshttps://doi.org/10.1007/978-3-031-74470-9_26openalex-snapshot
A Comprehensive Survey of Lightweight Authentication Schemes for the Internet of Things
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_24openalex-snapshot
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_3openalex-snapshot
User-Guided Verification of Security Protocols via Sound Animation
inferred← citeshttps://doi.org/10.1007/978-3-031-79007-2_15openalex-snapshot
Analysing TLS Implementations Using Full-Message Symbolic Execution
inferred← citeshttps://doi.org/10.1007/978-3-031-83072-3_4openalex-snapshot
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020
inferred← citeshttps://doi.org/10.1007/978-3-031-97063-4_2openalex-snapshot
Independence and Causality in the Reversible Concurrent Setting
inferred← citeshttps://doi.org/10.1007/978-3-032-10794-7_16openalex-snapshot
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+
inferred← citeshttps://doi.org/10.1007/978-3-032-22208-4_14openalex-snapshot
Formal Security Verification of Messaging Layer Security Protocol Using ProVerif
inferred← citeshttps://doi.org/10.1007/978-3-032-37777-7_9openalex-snapshot
Trust No Pool: Formal Security Analysis of BPMN Collaborations
inferred← citeshttps://doi.org/10.1007/978-3-032-38708-0_6openalex-snapshot
Verifiable Digital Power of Attorney Under Strategic Adversaries: Correctness, Delegation, and Fraud Detection Under Collusion
inferred← citeshttps://doi.org/10.1007/978-3-319-66402-6_19openalex-snapshot
Server-Supported RSA Signatures for Mobile Devices
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6_7openalex-snapshot
Equivalence Properties by Typing in Cryptographic Branching Protocols
inferred← citeshttps://doi.org/10.1007/978-3-319-92459-5_28openalex-snapshot
On Some Time Aspects in Security Protocols Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-92612-4_5openalex-snapshot
Relating Process Languages for Security and Communication Correctness (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-3-319-95597-1_2openalex-snapshot
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-99981-4_3openalex-snapshot
Network’s Delays in Timed Analysis of Security Protocols
inferred← citeshttps://doi.org/10.1007/978-981-16-4118-3_6openalex-snapshot
Verifying MQV-Based Protocols Using ProVerif
inferred← citeshttps://doi.org/10.1007/978-981-16-7167-8_44openalex-snapshot
Applying Lowe’s “Small-System” Result to Prove the Security of UPI Protocols
inferred← citeshttps://doi.org/10.1007/978-981-95-4213-0_1openalex-snapshot
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks
inferred← citeshttps://doi.org/10.1007/978-981-99-4430-9_1openalex-snapshot
Attacks Against Security Context in 5G Network
inferred← citeshttps://doi.org/10.1007/s10586-024-04566-5openalex-snapshot
Lightweight secure authentication protocol for automatic dependent surveillance broadcast system
inferred← citeshttps://doi.org/10.1007/s10586-026-06361-wopenalex-snapshot
Securing data confidentiality for on-device inference using multi-enclave trusted execution environments
inferred← citeshttps://doi.org/10.1007/s11036-022-02044-zopenalex-snapshot
An Efficient Group-based Service Authentication and Session Key Negotiation Scheme for mMTC Devices in 5G
inferred← citeshttps://doi.org/10.1007/s11227-021-03830-4openalex-snapshot
A cloud-based mobile payment system using identity-based signature providing key revocation
inferred← citeshttps://doi.org/10.1007/s11227-023-05480-0openalex-snapshot
Per-user network access control kernel module with secure multifactor authentication
inferred← citeshttps://doi.org/10.1007/s11276-020-02523-9openalex-snapshot
LAPTAS: lightweight anonymous privacy-preserving three-factor authentication scheme for WSN-based IIoT
inferred← citeshttps://doi.org/10.1007/s12652-020-02532-8openalex-snapshot
An improved lightweight anonymous user authenticated session key exchange scheme for Internet of Things
inferred← citeshttps://doi.org/10.1007/s13369-021-05532-8openalex-snapshot
An Efficient Mutual Authentication and Symmetric Key Agreement Scheme for Wireless Body Area Network
inferred← citeshttps://doi.org/10.1016/j.comcom.2020.02.011openalex-snapshot
Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment
inferred← citeshttps://doi.org/10.1016/j.comcom.2021.07.030openalex-snapshot
Amelia—A new security protocol for protection against false links
inferred← citeshttps://doi.org/10.1016/j.comnet.2020.107233openalex-snapshot
Towards formal verification of IoT protocols: A Review
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2022.107889openalex-snapshot
A biometric secured anonymous communication protocol for Vehicular Ad hoc Network
inferred← citeshttps://doi.org/10.1016/j.cose.2022.103072openalex-snapshot
Automated verification of Telegram’s MTProto 2.0 in the symbolic model
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103133openalex-snapshot
Formally verifying security protocols built on watermarking and jamming
inferred← citeshttps://doi.org/10.1016/j.cose.2024.104224openalex-snapshot
Enhancing network tunnels anonymity through increasing combined traffic in a clustered structure
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104751openalex-snapshot
Towards a formal verification of secure vehicle software updates
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104819openalex-snapshot
Unlinkability and history preserving bisimilarity
inferred← citeshttps://doi.org/10.1016/j.dcan.2025.04.013openalex-snapshot
A blockchain-based efficient traceability authentication scheme in VANET
inferred← citeshttps://doi.org/10.1016/j.future.2019.02.020openalex-snapshot
LACO: Lightweight Three-Factor Authentication, Access Control and Ownership Transfer Scheme for E-Health Systems in IoT
inferred← citeshttps://doi.org/10.1016/j.iot.2023.100913openalex-snapshot
Performance and cryptographic evaluation of security protocols in distributed networks using applied pi calculus and Markov Chain
inferred← citeshttps://doi.org/10.1016/j.iot.2024.101363openalex-snapshot
ASAP: A lightweight authenticated secure association protocol for IEEE 802.15.6 based medical BAN
inferred← citeshttps://doi.org/10.1016/j.jisa.2020.102529openalex-snapshot
Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions
inferred← citeshttps://doi.org/10.1016/j.jisa.2025.104083openalex-snapshot
Mitigating server Key Compromise Impersonation: A secure and efficient authentication and key agreement protocol for IoT devices using chaotic maps
inferred← citeshttps://doi.org/10.1016/j.jisa.2025.104365openalex-snapshot
CallTrust: A federated system for call authentication in telephony networks
inferred← citeshttps://doi.org/10.1016/j.jksuci.2023.101664openalex-snapshot
A novel formal logic for formal analysis of timeliness in non-repudiation protocols
inferred← citeshttps://doi.org/10.1016/j.jksuci.2024.102258openalex-snapshot
A hierarchical and secure approach for automotive firmware upgrades
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100799openalex-snapshot
Processes against tests: On defining contextual equivalences
inferred← citeshttps://doi.org/10.1016/j.jlamp.2026.101179openalex-snapshot
KLAIM, certified: Mechanising flow logic for tuple-space coordination
inferred← citeshttps://doi.org/10.1016/j.jnca.2025.104200openalex-snapshot
Addressing security requirements in industrial IoT: A robust three-factor authentication scheme with enhanced features
inferred← citeshttps://doi.org/10.1016/j.mejo.2022.105667openalex-snapshot
A challenge-screening strategy for enhancing the stability of strong PUF based on machine learning
inferred← citeshttps://doi.org/10.1016/j.mex.2026.104043openalex-snapshot
Comprehensive security review and challenges for smart and power grids to prevent cyber-attacks in IoTs
inferred← citeshttps://doi.org/10.1016/j.micpro.2019.03.006openalex-snapshot
High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool
inferred← citeshttps://doi.org/10.1016/j.smhl.2022.100355openalex-snapshot
Privacy conserving authenticated key settlement approach for remote users in IoT based Telecare Medicine information system
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.102935openalex-snapshot
An authentication and signature scheme for UAV-assisted vehicular ad hoc network providing anonymity
inferred← citeshttps://doi.org/10.1016/j.tcs.2023.113842openalex-snapshot
When privacy fails, a formula describes an attack: A complete and compositional verification method for the applied π-calculus
inferred← citeshttps://doi.org/10.1017/s0960129520000031openalex-snapshot
Computing knowledge in equational extensions of subterm convergent theories
inferred← citeshttps://doi.org/10.1038/s41598-026-46456-3openalex-snapshot
An intelligent and adaptive security framework for UAV swarms: a cross-layer approach integrating highly reliable EPUF, DRL-based key management, and distributed ledger technology
inferred← citeshttps://doi.org/10.1049/2023/9399887openalex-snapshot
Kyber, Saber, and SK‐MLWR Lattice‐Based Key Encapsulation Mechanisms Model Checking with Maude
inferred← citeshttps://doi.org/10.1049/2024/2634744openalex-snapshot
L π CET: A Logic Security Analysis for Cryptographic Protocols Based on π ‐Calculus Extension Theory
inferred← citeshttps://doi.org/10.1088/1742-6596/1871/1/012102openalex-snapshot
A Formal Verification Method for Security Protocol Implementations Based on Model Learning and Tamarin
inferred← citeshttps://doi.org/10.1088/2631-8695/addd67openalex-snapshot
JIGS: a modular parallel encryption and authentication pipeline for secure messaging
inferred← citeshttps://doi.org/10.1109/access.2020.2969474openalex-snapshot
Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif
inferred← citeshttps://doi.org/10.1109/access.2021.3052578openalex-snapshot
Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking
inferred← citeshttps://doi.org/10.1109/access.2021.3087421openalex-snapshot
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification
inferred← citeshttps://doi.org/10.1109/access.2021.3089871openalex-snapshot
iGCACS-IoD: An Improved Certificate-Enabled Generic Access Control Scheme for Internet of Drones Deployment
inferred← citeshttps://doi.org/10.1109/access.2023.3344168openalex-snapshot
Secure Medical Data Against Unauthorized Access Using Decoy Technology in Distributed Edge Computing Networks
inferred← citeshttps://doi.org/10.1109/access.2023.3347914openalex-snapshot
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
inferred← citeshttps://doi.org/10.1109/access.2024.3368453openalex-snapshot
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif
inferred← citeshttps://doi.org/10.1109/access.2024.3393567openalex-snapshot
A Survey on Key Agreement and Authentication Protocol for Internet of Things Application
inferred← citeshttps://doi.org/10.1109/access.2024.3459925openalex-snapshot
MCDH-SLKAP: Modified Computational Diffie-Hellman-Based Secure and Lightweight Key Agreement Protocol for Decentralized Edge Computing Networks
inferred← citeshttps://doi.org/10.1109/access.2024.3497184openalex-snapshot
Towards Validation of TLS 1.3 Formal Model and Vulnerabilities in Intel’s RA-TLS Protocol
inferred← citeshttps://doi.org/10.1109/acsac63791.2024.00027openalex-snapshot
T-Edge: Trusted Heterogeneous Edge Computing
inferred← citeshttps://doi.org/10.1109/candarw51189.2020.00077openalex-snapshot
Towards a Secure Proxy-based Architecture for Collaborative AI Engineering
inferred← citeshttps://doi.org/10.1109/cis54983.2021.00098openalex-snapshot
Secure Two-party Dilithium Signing Protocol
inferred← citeshttps://doi.org/10.1109/cisce62493.2024.10653326openalex-snapshot
Two-Way Authentication Scheme for Railway Time Synchronization Protocol Based on Hybrid Key Enhancement
inferred← citeshttps://doi.org/10.1109/citds70571.2026.11706882openalex-snapshot
Secure Data Exchange Protocol for IPFS
inferred← citeshttps://doi.org/10.1109/cns56114.2022.9947236openalex-snapshot
PRM - Private Interference Discovery for IEEE 802.15. 4 Networks
inferred← citeshttps://doi.org/10.1109/compsac54236.2022.00288openalex-snapshot
Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification
inferred← citeshttps://doi.org/10.1109/comst.2017.2718178openalex-snapshot
Privacy-Preserving Schemes for Ad Hoc Social Networks: A Survey
inferred← citeshttps://doi.org/10.1109/csce60160.2023.00394openalex-snapshot
Blockchain-Based Messaging for VANETs
inferred← citeshttps://doi.org/10.1109/cscloud-edgecom49738.2020.00030openalex-snapshot
Formal analysis of QUIC handshake protocol using ProVerif
inferred← citeshttps://doi.org/10.1109/csf.2017.7openalex-snapshot
Symbolic and Computational Mechanized Verification of the ARINC823 Avionic Protocols
inferred← citeshttps://doi.org/10.1109/csf.2018.00008openalex-snapshot
An Extensive Formal Analysis of Multi-factor Authentication Protocols
inferred← citeshttps://doi.org/10.1109/csf.2018.00016openalex-snapshot
Computer-Aided Proofs for Multiparty Computation with Active Security
inferred← citeshttps://doi.org/10.1109/csf.2018.00032openalex-snapshot
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif
inferred← citeshttps://doi.org/10.1109/csf.2019.00032openalex-snapshot
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device
inferred← citeshttps://doi.org/10.1109/csf51468.2021.00019openalex-snapshot
Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919638openalex-snapshot
Adversary Safety by Construction in a Language of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919644openalex-snapshot
Symbolic protocol verification with dice: process equivalences in the presence of probabilities
inferred← citeshttps://doi.org/10.1109/csf54842.2022.9919654openalex-snapshot
Contingent payments from two-party signing and verification for abelian groups
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00001openalex-snapshot
Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00005openalex-snapshot
Election Verifiability in Receipt-Free Voting Protocols
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00025openalex-snapshot
Extending the Authentication Hierarchy with One-Way Agreement
inferred← citeshttps://doi.org/10.1109/csf57540.2023.00032openalex-snapshot
Election Verifiability with ProVerif
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00008openalex-snapshot
Solving the Insecurity Problem for Assertions
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00015openalex-snapshot
Dealing with Dynamic Key Compromise in Crypto Verif
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00019openalex-snapshot
CV2EC: Getting the Best of Both Worlds
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00001openalex-snapshot
Cryptographically Assured Information Flow: Assured Remote Execution
inferred← citeshttps://doi.org/10.1109/csf64896.2025.00037openalex-snapshot
Formal Analysis of Random Nonce Misuses in Cryptographic Protocols
inferred← citeshttps://doi.org/10.1109/csf68417.2026.00030openalex-snapshot
Verifying and Monitoring the Lightweight Directory Access Protocol (LDAP)
inferred← citeshttps://doi.org/10.1109/dcoss-iot65416.2025.00015openalex-snapshot
Empowering Resource-Constrained WoT Devices with Lightweight Self-Sovereign Identity (SSI) Using Delegation
inferred← citeshttps://doi.org/10.1109/dsd51259.2020.00099openalex-snapshot
Towards Formalization of Enhanced Privacy ID (EPID)-based Remote Attestation in Intel SGX
inferred← citeshttps://doi.org/10.1109/dsn-s54099.2022.00028openalex-snapshot
Understanding Trust Assumptions for Attestation in Confidential Computing
inferred← citeshttps://doi.org/10.1109/dtisd69661.2026.11668274openalex-snapshot
A Hybrid Lightweight Adaptive Authentication Protocol for Wireless Medical Sensor Networks
inferred← citeshttps://doi.org/10.1109/eurosp.2017.38openalex-snapshot
Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach
inferred← citeshttps://doi.org/10.1109/eurosp.2018.00037openalex-snapshot
A Formal Analysis of the Neuchatel e-Voting Protocol
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00026openalex-snapshot
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
inferred← citeshttps://doi.org/10.1109/eurosp.2019.00034openalex-snapshot
Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols
inferred← citeshttps://doi.org/10.1109/eurosp51992.2021.00042openalex-snapshot
$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
inferred← citeshttps://doi.org/10.1109/eurosp57164.2023.00016openalex-snapshot
Automatic verification of transparency protocols
inferred← citeshttps://doi.org/10.1109/fmec49853.2020.9144706openalex-snapshot
Network Service Federated Identity (NS- FId) Protocol for Service Authorization in 5G Network
inferred← citeshttps://doi.org/10.1109/icbase70763.2026.11619478openalex-snapshot
Low-Latency Hybrid Post-Quantum Secure Access Protocol for Resource-Constrained Terminals
inferred← citeshttps://doi.org/10.1109/icc.2018.8422101openalex-snapshot
An Optimized and Secure Authentication Scheme for Vehicular Ad Hoc Networks
inferred← citeshttps://doi.org/10.1109/icce-asia67487.2025.11263624openalex-snapshot
A Lightweight and Secure One-time Authentication Protocol for MQTT based on SAS-L2
inferred← citeshttps://doi.org/10.1109/icct52962.2021.9657852openalex-snapshot
Analysis for Threat Models and Improvement Scheme of 5G AKA Protocol Based on Petri-net
inferred← citeshttps://doi.org/10.1109/iciccs67901.2026.11502900openalex-snapshot
Lightweight Security Evaluation of MQTT Over eSIM-Based Identity in IoT SAFE Context
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972080openalex-snapshot
Security in Wireless Sensor Networks: A formal verification of protocols
inferred← citeshttps://doi.org/10.1109/informatics.2017.8327280openalex-snapshot
SAT-based verification of NSPK protocol including delays in the network
inferred← citeshttps://doi.org/10.1109/isaics66888.2025.11350064openalex-snapshot
IKEv2-FV: A BIP-Based Formal Verification Framework for the IKEv2 Protocol
inferred← citeshttps://doi.org/10.1109/ispcs.2018.8543077openalex-snapshot
Secure Time Synchronization Protocol
inferred← citeshttps://doi.org/10.1109/itnac53136.2021.9652163openalex-snapshot
Formal Verification of 5G EAP-AKA protocol
inferred← citeshttps://doi.org/10.1109/itt69610.2025.11352900openalex-snapshot
Three-Stage Passwordless MFA for Smart Contract Wallets on Permissioned Blockchains
inferred← citeshttps://doi.org/10.1109/jcn.2019.000051openalex-snapshot
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems
inferred← citeshttps://doi.org/10.1109/jiot.2020.2999510openalex-snapshot
Efficient and Privacy-Preserving Authentication Protocol for Heterogeneous Systems in IIoT
inferred← citeshttps://doi.org/10.1109/jiot.2020.3024058openalex-snapshot
ALAM: Anonymous Lightweight Authentication Mechanism for SDN-Enabled Smart Homes
inferred← citeshttps://doi.org/10.1109/jiot.2021.3088115openalex-snapshot
Designing Fine-Grained Access Control for Software-Defined Networks Using Private Blockchain
inferred← citeshttps://doi.org/10.1109/jiot.2022.3204335openalex-snapshot
GASE: A Lightweight Group Authentication Scheme With Key Agreement for Edge Computing Applications
inferred← citeshttps://doi.org/10.1109/jiot.2023.3262731openalex-snapshot
A Resilient Group-Based Multisubset Data Aggregation Scheme for Smart Grid
inferred← citeshttps://doi.org/10.1109/jiot.2023.3285930openalex-snapshot
Bagua Protocol: A Whole-Process Configurable Protocol for IoT Sensing Devices Security Based on Strong PUF
inferred← citeshttps://doi.org/10.1109/jiot.2024.3429397openalex-snapshot
Secure and Efficient Biometric-Based Anonymous Authentication Scheme for Mobile-Edge Computing
inferred← citeshttps://doi.org/10.1109/jiot.2025.3541434openalex-snapshot
Improving the Stability of APUF to 100% Without Extra Hardware Overhead for Enhancing the Performance of Security Authentication Protocols
inferred← citeshttps://doi.org/10.1109/jiot.2025.3544555openalex-snapshot
A Strong PUF-Based Security Protocol to Protect AI Model Parameters Against Privacy Information Leakage
inferred← citeshttps://doi.org/10.1109/jiot.2025.3549720openalex-snapshot
Uncrewed Aerial Vehicles Empowering Secure Authentication in Cognitive IoMT for Transformative Knowledge Discovery in Data
inferred← citeshttps://doi.org/10.1109/jiot.2025.3556472openalex-snapshot
ePPTM—Enhanced Privacy-Preserving Trajectory Matching on Autonomous Vehicles
inferred← citeshttps://doi.org/10.1109/jiot.2025.3569262openalex-snapshot
A Formal Analysis of Bluetooth Mesh Provisioning Protocol
inferred← citeshttps://doi.org/10.1109/jiot.2025.3586869openalex-snapshot
CUBE-PUF-Based Anonymous Mutual Authentication Protocol for Internet of Vehicles
inferred← citeshttps://doi.org/10.1109/lnet.2025.3610580openalex-snapshot
Symbolic and Safety-Centric Formal Verification of MAVLink for Autonomous eVTOL Systems
inferred← citeshttps://doi.org/10.1109/pdcat46702.2019.00065openalex-snapshot
SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols
inferred← citeshttps://doi.org/10.1109/pkia67529.2025.11347308openalex-snapshot
A Usable and Secure Authentication for Multi-server Environments to Enhance Digital Trust
inferred← citeshttps://doi.org/10.1109/qrs-c57518.2022.00020openalex-snapshot
Modeling Trust Relationships in Blockchain Applications: The Case of Reconfigurable Systems-on-Chip
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00103openalex-snapshot
How Well Does Knowledge Injection Enhance LLM-Aided Formal Protocol Modeling?
inferred← citeshttps://doi.org/10.1109/sccc49216.2019.8966440openalex-snapshot
On-The-Fly Diffie-Hellman for IoT
inferred← citeshttps://doi.org/10.1109/sds49854.2020.9143899openalex-snapshot
Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol
inferred← citeshttps://doi.org/10.1109/secdev.2018.00009openalex-snapshot
BP: Formal Proofs, the Fine Print and Side Effects
inferred← citeshttps://doi.org/10.1109/smartworld-uic-atc-scalcom-iop-sci.2019.00258openalex-snapshot
A Security Formal Model for Multiple Channels Communication
inferred← citeshttps://doi.org/10.1109/sp.2017.26openalex-snapshot
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
inferred← citeshttps://doi.org/10.1109/sp.2019.00064openalex-snapshot
Formally Verified Cryptographic Web Applications in WebAssembly
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00008openalex-snapshot
SoK: Computer-Aided Cryptography
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833621openalex-snapshot
Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833653openalex-snapshot
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833777openalex-snapshot
Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities
inferred← citeshttps://doi.org/10.1109/sp46214.2022.9833800openalex-snapshot
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00120openalex-snapshot
Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00220openalex-snapshot
DY* Unchained: Now with Composable Security Proofs and Precise Compromise Scenarios
inferred← citeshttps://doi.org/10.1109/tce.2025.3647712openalex-snapshot
Toward Quantum-Safe 6G Mobile Networks: A Survey on EAP-AKA Prime Family With Formal Security Analysis and Empirical Evaluation
inferred← citeshttps://doi.org/10.1109/tdsc.2025.3628884openalex-snapshot
Blockchain-Assisted Conditional Anonymous Authentication and Adaptive Tree-Based Group Key Agreement for VANETs
inferred← citeshttps://doi.org/10.1109/tifs.2018.2832984openalex-snapshot
Analyzing and Patching SPEKE in ISO/IEC
inferred← citeshttps://doi.org/10.1109/tifs.2023.3324747openalex-snapshot
FedComm: A Privacy-Enhanced and Efficient Authentication Protocol for Federated Learning in Vehicular Ad-Hoc Networks
inferred← citeshttps://doi.org/10.1109/tifs.2024.3414663openalex-snapshot
Blockchain-Based Group Key Management Scheme for IoT With Anonymity of Group Members
inferred← citeshttps://doi.org/10.1109/tifs.2026.3723114openalex-snapshot
Post-Quantum Secure Lattice-Based Lightweight Authentication Scheme for Energy Internet-Based V2G Communication
inferred← citeshttps://doi.org/10.1109/tii.2018.2806974openalex-snapshot
Efficient Anonymous Password-Authenticated Key Exchange Protocol to Read Isolated Smart Meters by Utilization of Extended Chebyshev Chaotic Maps
inferred← citeshttps://doi.org/10.1109/tii.2021.3096048openalex-snapshot
A Scalable Protocol Level Approach to Prevent Machine Learning Attacks on Physically Unclonable Function Based Authentication Mechanisms for Internet of Medical Things
inferred← citeshttps://doi.org/10.1109/tmc.2025.3616137openalex-snapshot
Toward Trusted 6G Mobile Edge Computing: A Secure Batch Large Language Models Deployment Framework
inferred← citeshttps://doi.org/10.1109/tnse.2024.3363004openalex-snapshot
SAKMS: A Secure Authentication and Key Management Scheme for IETF 6TiSCH Industrial Wireless Networks Based on Improved Elliptic-Curve Cryptography
inferred← citeshttps://doi.org/10.1109/tnse.2024.3432836openalex-snapshot
LURK-T: Limited Use of Remote Keys With Added Trust in TLS 1.3
inferred← citeshttps://doi.org/10.1109/tnse.2025.3643954openalex-snapshot
Continuous Authentication in IoT-Based Smart Home Application: A Survey and a Design Framework Using Vector Similarity Search
inferred← citeshttps://doi.org/10.1109/tnsm.2026.3683347openalex-snapshot
OMEGA: A Comprehensive Cloud-Edge-Device Authentication and Key Agreement Scheme for Collaborative Multi-Factory Manufacturing in IIoT
inferred← citeshttps://doi.org/10.1109/ton.2025.3556374openalex-snapshot
A Formal Analysis of 5G EAP-TLS Protocol
inferred← citeshttps://doi.org/10.1109/tsc.2024.3433534openalex-snapshot
An Efficient RLWE-Based Privacy-Preserving Authentication Scheme Based on Edge Computing in Industrial Internet of Things
inferred← citeshttps://doi.org/10.1109/tsc.2025.3536314openalex-snapshot
Lightweight and Privacy-Preserving Reconfigurable Authentication Scheme for IoT Devices
inferred← citeshttps://doi.org/10.1109/tvt.2026.3669949openalex-snapshot
LDSAV: Lightweight and Dynamically Scalable Authentication Key Agreement for Vehicle-Cloud Collaboration
showing the first 200 of 317 · page through all 317
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.