Search results for "Active attacks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Pedro Peris-Lopez, Julio César Hernández Castro, Juan M. Estévez-Tapiador, Arturo Ribagorda	An Efficient Authentication Protocol for RFID Systems Resistant to Active Attacks.	EUC Workshops	2007	DBLP DOI BibTeX RDF	IUC, Light-weight Hash functions, Security, Authentication, RFID, Active-attacks
2	LongHai Li, ShaoFeng Fu, XiangQuan Che	Active Attacks on Reputable Mix Networks.	ISPA	2009	DBLP DOI BibTeX RDF	privacy protection, mix network, anonymous communication, active attacks
2	Reouven Elbaz, David Champagne, Catherine H. Gebotys, Ruby B. Lee, Nachiketh R. Potlapally, Lionel Torres	Hardware Mechanisms for Memory Authentication: A Survey of Existing Techniques and Engines.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	Memory Authentication, Integrity Trees, Board level attacks, Security, Trusted Computing, Active attacks
2	Junji Shikata, Tsutomu Matsumoto	Unconditionally Secure Steganography Against Active Attacks.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
2	Sylvain Guilley, Laurent Sauvage, Jean-Luc Danger, Nidhal Selmane, Renaud Pacalet	Silicon-level Solutions to Counteract Passive and Active Attacks.	FDTC	2008	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	CSF	2007	DBLP DOI BibTeX RDF
2	Bo Zhu, Guilin Wang, Zhiguo Wan, Mohan S. Kankanhalli, Feng Bao, Robert H. Deng	Providing efficient certification services against active attacks in ad hoc networks.	IPCCC	2005	DBLP DOI BibTeX RDF
2	Michael Backes, Christian Cachin	Public-Key Steganography with Active Attacks.	TCC	2005	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann, Michael Waidner	Justifying a Dolev-Yao Model Under Active Attacks.	FOSAD	2004	DBLP DOI BibTeX RDF
2	Andrei Serjantov, Roger Dingledine, Paul F. Syverson	From a Trickle to a Flood: Active Attacks on Several Mix Types.	Information Hiding	2002	DBLP DOI BibTeX RDF
2	Stefan Wolf	Strong Security Against Active Attacks in Information-Theoretic Secret-Key Agreement.	ASIACRYPT	1998	DBLP DOI BibTeX RDF	unconditional secrecy, authentication, information theory, privacy amplification, Secret-key agreement
2	Sarvar Patel	Number Theoretic Attacks on Secure Password Schemes.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	number theoretic attacks, secure password schemes, Encrypted Key Exchange, EKE, authenticated information exchange, insecure network, secret key cryptography, randomized confounders, RSA version, half encrypted versions, Direct Authentication Protocol, Secret Public Key Protocol versions, secure protocols, message authentication, dictionary attacks, active attacks, password guessing attacks
2	Philippe Béguin, Jean-Jacques Quisquater	Fast Server-Aided RSA Signatures Secure Against Active Attacks.	CRYPTO	1995	DBLP DOI BibTeX RDF
1	Yingbin Liang, H. Vincent Poor, Lei Ying	Secrecy Throughput of MANETs Under Passive and Active Attacks.	IEEE Transactions on Information Theory	2011	DBLP DOI BibTeX RDF
1	Dmitriy Kuptsov, Andrei Gurtov, Oscar García Morchon, Klaus Wehrle	Brief announcement: distributed trust management and revocation.	PODC	2010	DBLP DOI BibTeX RDF	security, trust management, distributed protocols
1	Musard Balliu, Isabella Mastroeni	A weakest precondition approach to active attacks analysis.	PLAS	2009	DBLP DOI BibTeX RDF	robustness, non-interference, declassification, program semantics, active attackers
1	Stefan Dziembowski, Alessandro Mei, Alessandro Panconesi	On Active Attacks on Sensor Network Key Distribution Schemes.	ALGOSENSORS	2009	DBLP DOI BibTeX RDF
1	Abid Khan, Qasim Arshad, Xiamu Niu, Zhang Yong, Muhammad Waqas Anwar	On the Security Properties and Attacks against Mobile Agent Graph Head Sealing (MAGHS).	ISA	2009	DBLP DOI BibTeX RDF	Graph head Sealing, execution integrity, security properties, Mobile Agent security, malicious hosts, active attacks
1	Michael Backes, Dennis Hofheinz, Dominique Unruh	CoSP: a general framework for computational soundness proofs.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	security, verification, theory
1	Matthias Krause, Dirk Stegemann	More on the Security of Linear RFID Authentication Protocols.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF	RFID Authentication, HB ?+?, CKK, CKK 2, Algebraic Attacks, Lightweight Cryptography
1	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.	Journal of Computer Security	2008	DBLP DOI BibTeX RDF
1	Vadim Lyubashevsky	Lattice-Based Identification Schemes Secure Under Active Attacks.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF
1	Prateek Mittal, Nikita Borisov	Information leaks in structured peer-to-peer anonymous communication systems.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	information leaks, peer-to-peer, anonymity, attacks
1	Matthew M. Lucas, Nikita Borisov	FlyByNight: mitigating the privacy risks of social networking.	WPES	2008	DBLP DOI BibTeX RDF	privacy, social networks
1	Hyun Seok Kim, Jin-Young Choi	A Lightweight Protocol Analysis and Modification for Secure RFID System.	ICCCN	2008	DBLP DOI BibTeX RDF
1	João P. Vilela, Luísa Lima, João Barros	Lightweight Security for Network Coding.	ICC	2008	DBLP DOI BibTeX RDF
1	Matthieu Bloch, Rajesh Narasimha, Steven W. McLaughlin	Network Security for Client-Server Architecture Using Wiretap Codes.	IEEE Transactions on Information Forensics and Security	2008	DBLP DOI BibTeX RDF
1	Julien Bringer, Hervé Chabanne	Trusted-HB: A Low-Cost Version of HB + Secure Against Man-in-the-Middle Attacks.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Michael Backes, Markus Dürmuth, Dominique Unruh	OAEP Is Secure under Key-Dependent Messages.	ASIACRYPT	2008	DBLP DOI BibTeX RDF	Key-dependent message security, RSA-OAEP, chosen ciphertext attacks
1	JungHoon Ha, Sang-Jae Moon, Jianying Zhou, JaeCheol Ha	A New Formal Proof Model for RFID Location Privacy.	ESORICS	2008	DBLP DOI BibTeX RDF	formal proof model, location privacy, RFID security
1	Henri Gilbert, Matthew J. B. Robshaw, Yannick Seurin	HB#: Increasing the Security and Efficiency of HB+.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	LPN, authentication, RFID tags, Toeplitz matrix
1	Sven Laur, Sylvain Pasini	SAS-Based Group Authentication and Key Agreement Protocols.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Groups, key agreement, message authentication, multi-party
1	Michael Backes, Birgit Pfitzmann	Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness
1	Elad Barkan, Eli Biham, Nathan Keller	Instant Ciphertext-Only Cryptanalysis of GSM Encrypted Communication.	J. Cryptology	2008	DBLP DOI BibTeX RDF	Ciphertext-only, SIM, A5/2, A5/1, Cryptanalysis, SMS, GSM, GPRS, Cellular
1	Berk Sunar, William J. Martin, Douglas R. Stinson	A Provably Secure True Random Number Generator with Built-In Tolerance to Active Attacks.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	True (and pseudo) random number generators, cryptography, resilient functions
1	Chris Karlof, Umesh Shankar, J. Doug Tygar, David Wagner	Dynamic pharming attacks and locked same-origin policies for web browsers.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	same-origin policy, pharming, web authentication
1	Dijiang Huang, Deep Medhi	Secure pairwise key establishment in large-scale sensor networks: An area partitioning and multigroup key predistribution approach.	TOSN	2007	DBLP DOI BibTeX RDF	node fabrication, selective node capture, Sensor, insider attack
1	Ford-Long Wong, Hoon Wei Lim	Identity-Based and Inter-Domain Password Authenticated Key Exchange for Lightweight Clients.	AINA Workshops	2007	DBLP DOI BibTeX RDF	Inter-domain authentication, secret public key, password, identity-based cryptography
1	Frederic Amiel, Karine Villegas, Benoit Feix, Louis Marcel	Passive and Active Combined Attacks: Combining Fault Attacks and Side Channel Analysis.	FDTC	2007	DBLP DOI BibTeX RDF
1	Jin-Oh Jeon, Su-Bong Ryu, Tae-Min Chang, Ho-Yong Choi, Min-Sup Kang	Digital Codec Design for RFID Tag Based on Cryptographic Authentication Protocol.	FGCN	2007	DBLP DOI BibTeX RDF
1	Chun-Dong Wang, Li-Chun Feng, Qiang Wang	Zero-Knowledge-Based User Authentication Technique in Context-aware System.	MUE	2007	DBLP DOI BibTeX RDF
1	Li Lu, Jinsong Han, Lei Hu, Yunhao Liu, Lionel M. Ni	Dynamic Key-Updating: Privacy-Preserving Authentication for RFID Systems.	PerCom	2007	DBLP DOI BibTeX RDF
1	Kun Wang, Meng Wu, Pengrui Xia, Subin Shen	An Incentive-Based Secure Charging Scheme for Integrating Networks.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	MANET (Ad Hoc), security, cellular network, incentive, charging, Integrating networks
1	Alex Varshavsky, Adin Scannell, Anthony LaMarca, Eyal de Lara	Amigo: Proximity-Based Authentication of Mobile Devices.	Ubicomp	2007	DBLP DOI BibTeX RDF
1	Rene Mayrhofer, Hans Gellersen	Shake Well Before Use: Authentication Based on Accelerometer Data.	Pervasive	2007	DBLP DOI BibTeX RDF
1	Duo Liu, Ping Luo, Yiqi Dai	Attack on Digital Multi-Signature Scheme Based on Elliptic Curve Cryptosystem.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	cryptography, digital signature, elliptic curve, multi-signature
1	Chun-Ying Huang, Kuan-Ta Chen, Chin-Laung Lei	Mitigating Active Attacks Towards Client Networks Using the Bitmap Filter.	DSN	2006	DBLP DOI BibTeX RDF
1	Bryan Parno, Mark Luk, Evan Gaustad, Adrian Perrig	Secure sensor network routing: a clean-slate approach.	CoNEXT	2006	DBLP DOI BibTeX RDF
1	Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
1	Giorgio Zanin, Alessandro Mei, Luigi V. Mancini	A Secure and Efficient Large Scale Distributed System for Data Sharing.	ICDCS	2006	DBLP DOI BibTeX RDF
1	Vasileios Karyotis, Symeon Papavassiliou, Mary Grammatikou, Basil S. Maglaris	On the Characterization and Evaluation of Mobile Attack Strategies in Wireless Ad Hoc Networks.	ISCC	2006	DBLP DOI BibTeX RDF
1	Julien Bringer, Hervé Chabanne, Emmanuelle Dottax	HB++: a Lightweight Authentication Protocol Secure against Some Attacks.	SecPerU	2006	DBLP DOI BibTeX RDF	We here show how a modification of the HB+ protocol thwarts Gilbert et al’s attack, The resulting protocol, HB++, remains a good choice for RFID authentication
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Jonathan Katz, Ji Sun Shin	Parallel and Concurrent Security of the HB and HB+ Protocols.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
1	Yvo Desmedt, Josef Pieprzyk, Ron Steinfeld, Huaxiong Wang	A Non-malleable Group Key Exchange Protocol Robust Against Active Insiders.	ISC	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol.	SEC	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	IACR Cryptology ePrint Archive	2005	DBLP BibTeX RDF
1	Kenichi Kourai, Shigeru Chiba	HyperSpector: virtual distributed monitoring environments for secure intrusion detection.	VEE	2005	DBLP DOI BibTeX RDF	inter-VM monitoring, virtual machine, virtual network, distributed IDS
1	José Bringel Filho, Windson Viana, Reinaldo Bezerra Braga, Rossana M. C. Andrade	FRAMESEC: A Framework for the Application Development with End-to-End Security Provision in the Mobile Computing Environment.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
1	Lanjun Dang, Weidong Kou, Yuxia Xiao	An Improved Scheme for Unilateral Asymmetric Smart Card Authentication.	AINA	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Markus Dürmuth	A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.	CSFW	2005	DBLP DOI BibTeX RDF
1	Manish Mehta 0003, Dijiang Huang, Lein Harn	RINK-RKP: a scheme for key predistribution and shared-key discovery in sensor networks.	IPCCC	2005	DBLP DOI BibTeX RDF
1	Fei Hu, Xiaojun Cao	Security in Wireless Actor & Sensor Networks (WASN): Towards A Hierarchical Re-Keying Design.	ITCC	2005	DBLP DOI BibTeX RDF	Wireless Sensor and Actor networks (WASN), Hierarchical Routing, Homeland Security
1	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Panayiotis Kotzanikolaou, Emmanouil Magkos, Christos Douligeris, Vassilios Chrissikopoulos	Hybrid Key Establishment for Multiphase Self-Organized Sensor Networks.	WOWMOM	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability
1	Kyung-Ah Shim, Seung-Hyun Seo	Security Analysis of Password-Authenticated Key Agreement Protocols.	CANS	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Shiqun Li, Jianying Zhou, Xiangxue Li, Kefei Chen	An Authentication Protocol for Pervasive Computing.	ISPA	2005	DBLP DOI BibTeX RDF	Pervasive Computing Security, Authentication, E-Commerce, Public Key Infrastructure
1	Bo Yu, Haiguang Chen, Min Yang, Dilin Mao, Chuanshan Gao	A Key Management Scheme for Cross-Layering Designs in Wireless Sensor Networks.	ISPA	2005	DBLP DOI BibTeX RDF
1	Soon Seok Kim, Sang-Soo Yeo, Hong-Jin Park, Sung Kwon Kim	A New Scheme for the Location Information Protection in Mobile Communication Environments.	MMM-ACNS	2005	DBLP DOI BibTeX RDF
1	Jan Camenisch, Anton Mityagin	Mix-Network with Stronger Security.	Privacy Enhancing Technologies	2005	DBLP DOI BibTeX RDF
1	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
1	Kai Zimmermann, Sebastian Felis, Stefan Schmid, Lars Eggert, Marcus Brunner	Autonomic Wireless Network Management.	WAC	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Dolev-Yao, Symmetric authentication, Computational soundness
1	Xun Yi	Identity-Based Fault-Tolerant Conference Key Agreement.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	Computer network conference, conference key agreement, semitrusted, passive and active attacks, fault tolerance
1	Min-Hui Lin, Chin-Chen Chang	A secure one-time password authentication scheme with low-computation for mobile communications.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	off-line dictionary attack, server spoofing attack, authentication, smart card, replay attack, one-time password
1	Vaidehi Kasarekar, Byrav Ramamurthy	Distributed Hybrid Agent Based Intrusion Detection and Real Time Response System.	BROADNETS	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
1	Bo Zhu, Zhiguo Wan, Mohan S. Kankanhalli, Feng Bao, Robert H. Deng	Anonymous Secure Routing in Mobile Ad-Hoc Networks.	LCN	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
1	Michael Backes	A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.	ESORICS	2004	DBLP DOI BibTeX RDF
1	Jin Kwak, Jongsu Han, Soohyun Oh, Dongho Won	Security Enhanced WTLS Handshake Protocol.	ICCSA	2004	DBLP DOI BibTeX RDF	WTLS, WAP, active attack, Handshake protocol
1	Sung-Woon Lee, Woo-Hun Kim, Hyun-Sung Kim, Kee-Young Yoo	Efficient Password-Based Authenticated Key Agreement Protocol.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Eun-Kyung Ryu, Kee-Won Kim, Kee-Young Yoo	An Authenticated Key Agreement Protocol Resistant to a Dictionary Attack.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Low-Level Ideal Signatures and General Integrity Idealization.	ISC	2004	DBLP DOI BibTeX RDF
1	Eun-Kyung Ryu, Eun-Jun Yoon, Kee-Young Yoo	An Efficient ID-Based Authenticated Key Agreement Protocol from Pairings.	NETWORKING	2004	DBLP DOI BibTeX RDF
1	Sung-Hyun Yun, Hyung-Woo Lee	The Undeniable Multi-signature Scheme Suitable for Joint Copyright Protection on Digital Contents.	PCM	2004	DBLP DOI BibTeX RDF
1	Kui Ren, Hyunrok Lee, Kwangjo Kim, Taewhan Yoo	Efficient Authenticated Key Agreement Protocol for Dynamic Groups.	WISA	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Christian Cachin	Public-Key Steganography with Active Attacks.	IACR Cryptology ePrint Archive	2003	DBLP BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	A composable cryptographic library with nested operations.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	cryptographically composable operators, security analysis of protocols, cryptography, simulatability
1	Kei Kawauchi, Mitsuru Tada	On the Extract Security of Multi-signature Schemes Based on RSA.	ACISP	2003	DBLP DOI BibTeX RDF
1	Luciano Rila, Chris J. Mitchell	Security Protocols for Biometrics-Based Cardholder Authentication in Smartcards.	ACNS	2003	DBLP DOI BibTeX RDF	cardholder authentication, biometrics, smartcards
1	Elad Barkan, Eli Biham, Nathan Keller	Instant Ciphertext-Only Cryptanalysis of GSM Encrypted Communication.	CRYPTO	2003	DBLP DOI BibTeX RDF
1	Ran Canetti, Hugo Krawczyk, Jesper Buus Nielsen	Relaxing Chosen-Ciphertext Security.	CRYPTO	2003	DBLP DOI BibTeX RDF
1	Bodo Möller	Provably Secure Public-Key Encryptionfor Length-Preserving Chaumian Mixes.	CT-RSA	2003	DBLP DOI BibTeX RDF
1	Artemios G. Voyiatzis, Dimitrios N. Serpanos	Active hardware attacks and proactive countermeasures.	ISCC	2002	DBLP DOI BibTeX RDF
1	Myungsun Kim, Kwangjo Kim	A New Identification Scheme Based on the Bilinear Diffie-Hellman Problem.	ACISP	2002	DBLP DOI BibTeX RDF	Gap-problems, Bilinear Diffie-Hellman problem, Identification scheme, Weil-pairing
1	Thomas Demuth	A Passive Attack on the Privacy of Web Users Using Standard Log Information.	Privacy Enhancing Technologies	2002	DBLP DOI BibTeX RDF	user tracking and profiling, server logs, privacy, World Wide Web, anonymity
1	Kei Kawauchi, Hiroshi Minato, Atsuko Miyaji, Mitsuru Tada	A Multi-signature Scheme with Signers' Intentions Secure against Active Attacks.	ICISC	2001	DBLP DOI BibTeX RDF