Search results for "cryptographic protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mabroka Ali Mayouf, Zarina Shukur	Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols.	IVIC	2009	DBLP DOI BibTeX RDF	possible attacks, animation, active learning, cryptographic protocols, visual metaphor
3	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Efficient representation of the attacker's knowledge in cryptographic protocols analysis.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Knowledge representation, Cryptographic protocols, State space exploration
3	Helmut Seidl, Kumar Neeraj Verma	Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses
3	Zhiyao Liang, Rakesh M. Verma	Complexity of Checking Freshness of Cryptographic Protocols.	ICISS	2008	DBLP DOI BibTeX RDF	Athena, NP-completeness, Cryptographic protocols, undecidability, replay attack, model checker, freshness, challenge response
3	Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell	Compiling cryptographic protocols for deployment on the web.	WWW	2007	DBLP DOI BibTeX RDF	CPPL, cryptographic protocols, HTTP, sessions
3	Ralf Küsters	On the decidability of cryptographic protocols with open-ended data structures.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Complexity, Cryptographic protocols, Decidability, Transducers
3	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
3	Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu	A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.	PPDP	2005	DBLP DOI BibTeX RDF	resolution strategies, verification, cryptographic protocols, horn clauses
3	David Sinclair, David Gray, Geoff Hamilton	Synthesising Attacks on Cryptographic Protocols.	ATVA	2004	DBLP DOI BibTeX RDF	security, model checking, cryptographic protocols
3	Roberto M. Amadio, Denis Lugiez	On the Reachability Problem in Cryptographic Protocols.	CONCUR	2000	DBLP DOI BibTeX RDF	verification, cryptographic protocols, symbolic computation
3	Martín Abadi, Roger M. Needham	Prudent Engineering Practice for Cryptographic Protocols.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	security, authentication, Cryptography, cryptographic protocols, authentication protocols
3	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
3	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
3	James W. Gray III, John McLean	Using temporal logic to specify and verify cryptographic protocols.	CSFW	1995	DBLP DOI BibTeX RDF	specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify
2	Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina	Brief announcement: anonymity and trust in distributed systems.	PODC	2010	DBLP DOI BibTeX RDF	anonymity in decentralized systems, formal verification, cryptographic protocols
2	James P. Delgrande, Torsten Grote, Aaron Hunter	A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Benjamin Weyers, Wolfram Luther, Nelson Baloian	Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages.	CRIWG	2009	DBLP DOI BibTeX RDF	Cooperative construction, dialog and interaction logic modeling, learning environment, cryptographic algorithm
2	Daisuke Kikuchi, Naoki Kobayashi	Type-Based Automated Verification of Authenticity in Cryptographic Protocols.	ESOP	2009	DBLP DOI BibTeX RDF
2	Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas	Specifying and implementing privacy-preserving cryptographic protocols.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Specification of Security Protocols, Dolev-Yao Intruder, Security-typed language, Typed MSR, Jif, Privacy, Linkability
2	Christian Schridde, Bernd Freisleben	On the Validity of the phi-Hiding Assumption in Cryptographic Protocols.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	?-Hiding assumption, Jacobi symbol, Euler’s totient function
2	Julio César Hernández Castro, Juan M. Estévez-Tapiador, Arturo Ribagorda	Non-standard Attacks against Cryptographic Protocols, with an Example over a Simplified Mutual Authentication Protocol.	MCO	2008	DBLP DOI BibTeX RDF
2	Huawei Zhao, Jing Qin, Zhifeng Fang	Converters for Designing Applied Cryptographic Protocols.	EUC	2008	DBLP DOI BibTeX RDF
2	Zhiyao Liang, Rakesh M. Verma	Improving Techniques for Proving Undecidability of Checking Cryptographic Protocols.	ARES	2008	DBLP DOI BibTeX RDF	insider, authentication, formal method, cryptographic protocol, undecidability, secrecy
2	Nazim Benassa	Modelling Attacker's Knowledge for Cascade Cryptographic Protocols.	ABZ	2008	DBLP DOI BibTeX RDF	model for attacker, formal methods, cryptography
2	Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu	Cryptographically verified implementations for TLS.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	verified implementations, authentication, cryptographic protocols, SSL, TLS, secrecy
2	Jay A. McCarthy, Shriram Krishnamurthi	Minimal backups of cryptographic protocol runs.	FMSE	2008	DBLP DOI BibTeX RDF	cppl, cryptographic protocols, coq, strand spaces
2	José Meseguer, Prasanna Thati	Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Rewrite theories, Security protocols, Reachability, Narrowing
2	Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
2	Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch	Verifying Cryptographic Protocols with Subterms Constraints.	LPAR	2007	DBLP DOI BibTeX RDF
2	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Joshua D. Guttman	How to do Things with Cryptographic Protocols.	ASIAN	2007	DBLP DOI BibTeX RDF
2	Han Gao, Chiara Bodei, Pierpaolo Degano, Hanne Riis Nielson	A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols.	ASIAN	2007	DBLP DOI BibTeX RDF
2	Detlef Kähler, Ralf Küsters, Tomasz Truderung	Infinite State AMC-Model Checking for Cryptographic Protocols.	LICS	2007	DBLP DOI BibTeX RDF
2	Kevin Schutz	OEM Component Authentication.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	turnkey, authentication, cryptographic protocols, counterfeiting
2	Ran Canetti	Security and composition of cryptographic protocols: a tutorial (part I).	SIGACT News	2006	DBLP DOI BibTeX RDF
2	Aggelos Kiayias, Moti Yung	Efficient Cryptographic Protocols Realizing E-Markets with Price Discrimination.	Financial Cryptography	2006	DBLP DOI BibTeX RDF
2	David Wagner	Cryptographic Protocols for Electronic Voting.	CRYPTO	2006	DBLP DOI BibTeX RDF
2	Angelos D. Keromytis, Jason L. Wright, Theo de Raadt, Matthew Burnside	Cryptography as an operating system service: A case study.	ACM Trans. Comput. Syst.	2006	DBLP DOI BibTeX RDF	authentication, digital signatures, Encryption, hash functions, cryptographic protocols
2	Jordi Castellà-Roca, Josep Domingo-Ferrer, Francesc Sebé	A Smart Card-Based Mental Poker System.	CARDIS	2006	DBLP DOI BibTeX RDF	Smart cards and applications in the Internet, Cryptographic protocols for smart cards, E-gambling, Mental poker
2	Seung Geol Choi, Kunsoo Park, Moti Yung	Short Traceable Signatures Based on Bilinear Pairings.	IWSEC	2006	DBLP DOI BibTeX RDF	anonymity, cryptographic protocols, bilinear pairings, group signatures, traceable signatures
2	Stéphanie Delaune, Florent Jacquemard	Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	verification, formal methods, cryptographic protocols, dictionary attacks, probabilistic encryption
2	Liana Bozga, Yassine Lakhnech, Michaël Périn	Pattern-based abstraction for verifying secrecy in protocols.	STTT	2006	DBLP DOI BibTeX RDF	Widening, Security, Verification, Abstract interpretation, Cryptographic protocols
2	Xiaochun Cheng, Xiaoqi Ma, Maggie Xiaoyan Cheng, Scott C.-H. Huang	Proving secure properties of cryptographic protocols with knowledge based approach.	IPCCC	2005	DBLP DOI BibTeX RDF
2	Xavier Allamigeon, Bruno Blanchet	Reconstruction of Attacks against Cryptographic Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
2	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.	DIMVA	2005	DBLP DOI BibTeX RDF
2	Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen	Programming Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
2	Dean Rosenzweig, Davor Runje, Wolfram Schulte	Model-Based Testing of Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
2	Aslan Askarov, Andrei Sabelfeld	Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.	ESORICS	2005	DBLP DOI BibTeX RDF
2	Jan Jürjens, Mark Yampolskiy	Code security analysis with assertions.	ASE	2005	DBLP DOI BibTeX RDF	code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs
2	Taekyoung Kwon	Authenticated Key Agreement Without Subgroup Element Verification.	ICCSA	2005	DBLP DOI BibTeX RDF	Small Subgroup Attacks, Authentication, Cryptographic Protocols, Authenticated Key Agreement
2	Yuqing Zhang, Xiuying Liu	An approach to the formal verification of the three-principal cryptographic protocols.	Operating Systems Review	2004	DBLP DOI BibTeX RDF
2	Liana Bozga, Cristian Ene, Yassine Lakhnech	A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).	CONCUR	2004	DBLP DOI BibTeX RDF
2	Giorgio Delzanno, Pierre Ganty	Automatic Verification of Time Sensitive Cryptographic Protocols.	TACAS	2004	DBLP DOI BibTeX RDF
2	Helmut Seidl, Kumar Neeraj Verma	Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying.	LPAR	2004	DBLP DOI BibTeX RDF
2	Ralf Küsters, Thomas Wilke	Automata-Based Analysis of Recursive Cryptographic Protocols.	STACS	2004	DBLP DOI BibTeX RDF
2	Patroklos G. Argyroudis, Raja Verma, Hitesh Tewari, Donal O'Mahony	Performance Analysis of Cryptographic Protocols on Handheld Devices.	NCA	2004	DBLP DOI BibTeX RDF
2	Liana Bozga, Cristian Ene, Yassine Lakhnech	On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Vitaly Shmatikov	Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation.	ESOP	2004	DBLP DOI BibTeX RDF
2	Li Yongjian, Xue Rui	Using SPIN to Model Cryptographic Protocols.	ITCC	2004	DBLP DOI BibTeX RDF
2	Pino Caballero-Gil, Candelaria Hernández-Goya, Carlos Bruno-Castañeda	A Game-Theoretic Model for Two-Party Cryptographic Protocols.	ITCC	2004	DBLP DOI BibTeX RDF
2	Yongdae Kim, Adrian Perrig, Gene Tsudik	Group Key Agreement Efficient in Communication.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Security, group communication, cryptographic protocols, communication complexity, group key agreement
2	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
2	Guilin Wang, Jianying Zhou, Robert H. Deng	On the Security of the Lee-Hwang Group-Oriented Undeniable Signature Schemes.	TrustBus	2004	DBLP DOI BibTeX RDF	digital signatures, cryptographic protocols, undeniable signatures
2	Sherman S. M. Chow	Verifiable Pairing and Its Applications.	WISA	2004	DBLP DOI BibTeX RDF	verifiable pairing, threshold decryption, cryptographic protocols, Bilinear pairing, signcryption, undeniable signature, ID-based cryptography, cryptographic primitives, ID-based signature, exact security
2	Oded Goldreich	Cryptography and cryptographic protocols.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Cryptography, Theory of computation
2	Roberto Gorrieri, Fabio Martinelli	Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols.	MFCS	2003	DBLP DOI BibTeX RDF
2	Hubert Comon-Lundh, Véronique Cortier	New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols.	RTA	2003	DBLP DOI BibTeX RDF
2	Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson	Is the Verification Problem for Cryptographic Protocols Solved?.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
2	Bruno Blanchet	Automatic verification of cryptographic protocols: a logic programming approach.	PPDP	2003	DBLP DOI BibTeX RDF	logic programming, cryptographic protocols, automatic verification, horn clauses
2	Rebecca N. Wright	Fischer's cryptographic protocols.	PODC	2003	DBLP DOI BibTeX RDF
2	Bruno Blanchet, Andreas Podelski	Verification of Cryptographic Protocols: Tagging Enforces Termination.	FoSSaCS	2003	DBLP DOI BibTeX RDF
2	Luca Durante, Riccardo Sisto, Adriano Valenzano	Automatic testing equivalence verification of spi calculus specifications.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	equivalence verification, Cryptographic protocols, state space exploration
2	Giuseppe Ateniese, Breno de Medeiros	Efficient Group Signatures without Trapdoors.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	privacy and anonymity, cryptographic protocols, Group signatures
2	Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt	Initiator-Resilient Universally Composable Key Exchange.	ESORICS	2003	DBLP DOI BibTeX RDF	formal cryptography, universalcomposition, cryptographic protocols, key exchange
2	Mourad Debbabi, Nancy A. Durgin, Mohamed Mejri, John C. Mitchell	Security by typing.	STTT	2003	DBLP DOI BibTeX RDF	Intruder abilities, Authentication, Integrity, Type System, Cryptographic Protocols, Secrecy
2	Ralf Küsters	On the Decidability of Cryptographic Protocols with Open-Ended Data Structures.	CONCUR	2002	DBLP DOI BibTeX RDF
2	Eyal Kushilevitz	Some Applications of Polynomials for the Design of Cryptographic Protocols.	SCN	2002	DBLP DOI BibTeX RDF
2	Jesse Hughes, Martijn Warnier	The Coinductive Approach to Verifying Cryptographic Protocols.	WADT	2002	DBLP DOI BibTeX RDF
2	Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair	Automatic Approximation for the Verification of Cryptographic Protocols.	FASec	2002	DBLP DOI BibTeX RDF
2	Andy Gordon	Authenticity Types for Cryptographic Protocols.	FASec	2002	DBLP DOI BibTeX RDF
2	R. K. Shyamasundar	Analyzing Cryptographic Protocols in a Reactive Framework.	VMCAI	2002	DBLP DOI BibTeX RDF
2	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
2	Roberto M. Amadio, Witold Charatonik	On Name Generation and Set-Based Analysis in the Dolev-Yao Model.	CONCUR	2002	DBLP DOI BibTeX RDF	name generation, verification, cryptographic protocols, set constraints
2	James Heather, Steve Schneider	Equal To The Task?	ESORICS	2002	DBLP DOI BibTeX RDF	inequality tests, formal methods in security, RSA, cryptographic protocols, security models, rank functions, data independence, security verification, strand spaces
2	Ran Canetti, Hugo Krawczyk	Universally Composable Notions of Key Exchange and Secure Channels.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	Composition of protocols, Cryptographic Protocols, Key Exchange, Proofs of Security
2	Jeff S. L. Cheng, Victor K. Wei	Defenses against the Truncation of Computation Results of Free-Roaming Agents.	ICICS	2002	DBLP DOI BibTeX RDF	agent route protection, cryptographic protocols, mobile agent security, malicious host, truncation attack
2	Dongyao Ji, Yuming Wang	Comments on ``An approach to the formal verification of the two-party cryptographic protocols'' by Zhang, Li and Xiao.	Operating Systems Review	2001	DBLP DOI BibTeX RDF
2	Antonio Durante, Riccardo Focardi, Roberto Gorrieri	CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.	MMM-ACNS	2001	DBLP DOI BibTeX RDF
2	Andreas Meyer, Stefan Neis, Thomas Pfahler	First Implementation of Cryptographic Protocols Based on Algebraic Number Fields.	ACISP	2001	DBLP DOI BibTeX RDF
2	Volker Roth	On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection.	Mobile Agents	2001	DBLP DOI BibTeX RDF	breaking security protocols, cryptanalysis, mobile agent security
2	Marcelo P. Fiore, Martín Abadi	Computing Symbolic Models for Verifying Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
2	Bruno Blanchet	Abstracting Cryptographic Protocols by Prolog Rules.	SAS	2001	DBLP DOI BibTeX RDF
2	Ran Canetti	Universally Composable Security: A New Paradigm for Cryptographic Protocols.	FOCS	2001	DBLP DOI BibTeX RDF	security analysis of protocols, cryptographic protocols, concurrent composition
2	Yan Zhang, Vijay Varadharajan	A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols.	ACSC	2001	DBLP DOI BibTeX RDF	information security, logic, cryptographic protocol
2	Tzafrir Cohen, Joe Kilian, Erez Petrank	Responsive Round Complexity and Concurrent Zero-Knowledge.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	cryptographic protocols, Zero-knowledge, concurrent zero-knowledge
2	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
2	Antonio Durante, Riccardo Focardi, Roberto Gorrieri	A compiler for analyzing cryptographic protocols using noninterference.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	process algebra, cryptographic protocols, automatic verification, noninterference, verification tool
2	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Non Interference for the Analysis of Cryptographic Protocols.	ICALP	2000	DBLP DOI BibTeX RDF
2	Ernie Cohen	TAPS: A First-Order Verifier for Cryptographic Protocols. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF
2	Sanjeev Kumar Mishra, Palash Sarkar	Symmetrically Private Information Retrieval.	INDOCRYPT	2000	DBLP DOI BibTeX RDF	Private Information retrieval (PIR), Symmetrically Private Information Retrieval (SPIR), Quadratic Residuacity Assumption (QRA), Cryptographic Protocols, Probabilistic Encryption