Search results for "CAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Alexandru Uta, Ove Danner, Cas van der Weegen, Ana-Maria Oprescu, Andreea Sandu, Stefania Costache 0002, Thilo Kielmann	MemEFS: A network-aware elastic in-memory runtime distributed file system.	Future Gener. Comput. Syst.	2018	DBLP DOI BibTeX RDF
26	Jiangshan Yu, Mark Ryan 0001, Cas Cremers	DECIM: Detecting Endpoint Compromise In Messaging.	IEEE Trans. Inf. Forensics Secur.	2018	DBLP DOI BibTeX RDF
26	Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav V. Smyshlyaev	Security Analysis for Randomness Improvements for Security Protocols.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
26	Thanh Binh Nguyen 0003, Christoph Sprenger 0001, Cas Cremers	Abstractions for security protocol verification.	J. Comput. Secur.	2018	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski	Design, Analysis, and Implementation of ARPKI: An Attack-Resilient Public-Key Infrastructure.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.	CCS	2018	DBLP DOI BibTeX RDF
26	Yanick Douven, Wouter Houtman, Ferry Schoenmakers, Koen Meessen, Harrie van de Loo, Dennis Bruijnen, Wouter H. T. M. Aangenent, Jorrit Olthuis, Cas de Groot, Marzieh Dolatabadi Farahani, Peter van Lith, Pim Scheers, Ruben Sommer, Bob van Ninhuijs, Patrick van Brakel, Jordy Senden, Marjon van't Klooster, Wouter Kuijpers, René van de Molengraft	Tech United Eindhoven Middle Size League Winner 2018.	RoboCup	2018	DBLP DOI BibTeX RDF
26	Cas Cremers, Anja Lehmann (eds.)	Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings	SSR	2018	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse	Symbolically analyzing security protocols using tamarin.	ACM SIGLOG News	2017	DBLP DOI BibTeX RDF
26	Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila	ASICS: authenticated key exchange security incorporating certification systems.	Int. J. Inf. Sec.	2017	DBLP DOI BibTeX RDF
26	Arnaud Arindra Adiyoso Setio, Alberto Traverso, Thomas de Bel, Moira S. N. Berens, Cas van den Bogaard, Piergiorgio Cerello, Hao Chen 0011, Qi Dou 0001, Maria Evelina Fantacci, Bram Geurts, Robbert van der Gugten, Pheng-Ann Heng, Bart Jansen, Michael M. J. de Kaste, Valentin Kotov, Jack Yu-Hung Lin, Jeroen T. M. C. Manders, Alexander Sónora-Mengana, Juan Carlos García-Naranjo, Evgenia Papavasileiou, Mathias Prokop	Validation, comparison, and combination of algorithms for automatic detection of pulmonary nodules in computed tomography images: The LUNA16 challenge.	Medical Image Anal.	2017	DBLP DOI BibTeX RDF
26	Cas Cremers, Lucca Hirschi	Improving Automated Symbolic Analysis for E-voting Protocols: A Method Based on Sufficient Conditions for Ballot Secrecy.	CoRR	2017	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers	Mind the Gap: Where Provable Security and Real-World Messaging Don't Quite Meet.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Luke Garratt, Jon Millican, Kevin Milner	On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
26	Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan 0001	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
26	Cas Cremers, Marko Horvat 0002, Jonathan Hoyland, Sam Scott, Thyla van der Merwe	A Comprehensive Symbolic Analysis of TLS 1.3.	CCS	2017	DBLP DOI BibTeX RDF
26	Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan 0001	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications.	CSF	2017	DBLP DOI BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila	A Formal Security Analysis of the Signal Messaging Protocol.	EuroS&P	2017	DBLP DOI BibTeX RDF
26	Martijn J. L. Kors, Karel Millenaar, Erik D. Van der Spek, Gabriele Ferri 0001, Ben A. M. Schouten, Alyea Sandovar, Cas Ketel, Joris Dormans	Arguing on the Holodeck.: Designing Immersive Interactive Entertainment with Persuasive Intent.	CHI PLAY (Companion)	2017	DBLP DOI BibTeX RDF
26	Cas Cremers, Martin Dehnel-Wild, Kevin Milner	Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5.	ESORICS (1)	2017	DBLP DOI BibTeX RDF
26	Cas Cremers	Symbolic security analysis using the Tamarin prover.	FMCAD	2017	DBLP DOI BibTeX RDF
26	Cas Cremers, Marko Horvat 0002	Improving the ISO/IEC 11770 standard for key management techniques.	Int. J. Inf. Sec.	2016	DBLP DOI BibTeX RDF
26	Arnaud Arindra Adiyoso Setio, Alberto Traverso, Thomas de Bel, Moira S. N. Berens, Cas van den Bogaard, Piergiorgio Cerello, Hao Chen 0011, Qi Dou 0001, Maria Evelina Fantacci, Bram Geurts, Robbert van der Gugten, Pheng-Ann Heng, Bart Jansen, Michael M. J. de Kaste, Valentin Kotov, Jack Yu-Hung Lin, Jeroen T. M. C. Manders, Alexander Sónora-Mengana, Juan Carlos García-Naranjo, Mathias Prokop, Marco Saletta, Cornelia Schaefer-Prokop, Ernst Th. Scholten, Luuk Scholten, Miranda M. Snoeren, Ernesto Lopez Torres, Jef Vandemeulebroucke, Nicole Walasek, Guido C. A. Zuidhof, Bram van Ginneken, Colin Jacobs	Validation, comparison, and combination of algorithms for automatic detection of pulmonary nodules in computed tomography images: the LUNA16 challenge.	CoRR	2016	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Luke Garratt	On Post-Compromise Security.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
26	Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen	On Bitcoin Security in the Presence of Broken Crypto Primitives.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila	A Formal Security Analysis of the Signal Messaging Protocol.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Luke Garratt	On Post-compromise Security.	CSF	2016	DBLP DOI BibTeX RDF
26	Hanshen Xiao, Cas Cremers, Hari Krishna Garg	Symmetric polynomial & CRT based algorithms for multiple frequency determination from undersampled waveforms.	GlobalSIP	2016	DBLP DOI BibTeX RDF
26	Martijn J. L. Kors, Gabriele Ferri 0001, Erik D. Van der Spek, Cas Ketel, Ben A. M. Schouten	A Breathtaking Journey. On the Design of an Empathy-Arousing Mixed-Reality Game.	CHI PLAY	2016	DBLP BibTeX RDF
26	Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen	On Bitcoin Security in the Presence of Broken Cryptographic Primitives.	ESORICS (2)	2016	DBLP DOI BibTeX RDF
26	Cas Cremers, Marko Horvat 0002, Sam Scott, Thyla van der Merwe	Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication.	IEEE Symposium on Security and Privacy	2016	DBLP DOI BibTeX RDF
26	Cas Cremers, Michèle Feltz	Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal.	Des. Codes Cryptogr.	2015	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Kunihiko Miyazaki, Sasa Radomirovic, Dai Watanabe	Improving the Security of Cryptographic Protocol Standards.	IEEE Secur. Priv.	2015	DBLP DOI BibTeX RDF
26	Jiangshan Yu, Mark Ryan 0001, Cas Cremers	How to detect unauthorised usage of a key.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
26	Andrew C. Simpson, Andrew P. Martin, Cas Cremers, Ivan Flechais, Ivan Martinovic, Kasper Bonne Rasmussen	Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security.	ICSE (2)	2015	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers	Know Your Enemy: Compromising Adversaries in Protocol Analysis.	ACM Trans. Inf. Syst. Secur.	2014	DBLP DOI BibTeX RDF
26	Michèle Feltz, Cas Cremers	On the Limits of Authenticated Key Exchange Security with an Application to Bad Randomness.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
26	Ajay Kapoor, Cas Groot, Gerard Villar Pique, Hamed Fatemi, Juan Diego Echeverri, Leo Sevat, Maarten Vertregt, Maurice Meijer, Vibhu Sharma, Yu Pu, José Pineda de Gyvez	Digital Systems Power Management for High Performance Mixed Signal Platforms.	IEEE Trans. Circuits Syst. I Regul. Pap.	2014	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Tiffany Hyun-Jin Kim, Adrian Perrig, Ralf Sasse, Pawel Szalachowski	ARPKI: Attack Resilient Public-Key Infrastructure.	CCS	2014	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Marko Horvat 0002	Actor Key Compromise: Consequences and Countermeasures.	CSF	2014	DBLP DOI BibTeX RDF
26	Cas Cremers, Marko Horvat 0002	Improving the ISO/IEC 11770 Standard for Key Management Techniques.	SSR	2014	DBLP DOI BibTeX RDF
26	Benedikt Schmidt 0002, Ralf Sasse, Cas Cremers, David A. Basin	Automated Verification of Group Key Agreement Protocols.	IEEE Symposium on Security and Privacy	2014	DBLP DOI BibTeX RDF
26	Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
26	David A. Basin, Cas Cremers, Simon Meier	Provably repairing the ISO/IEC 9798 standard for entity authentication.	J. Comput. Secur.	2013	DBLP DOI BibTeX RDF
26	Simon Meier, Cas Cremers, David A. Basin	Efficient construction of machine-checked symbolic protocol security proofs.	J. Comput. Secur.	2013	DBLP DOI BibTeX RDF
26	Simon Meier, Benedikt Schmidt 0002, Cas Cremers, David A. Basin	The TAMARIN Prover for the Symbolic Analysis of Security Protocols.	CAV	2013	DBLP DOI BibTeX RDF
26	Colin Boyd, Cas Cremers, Michèle Feltz, Kenneth G. Paterson, Bertram Poettering, Douglas Stebila	ASICS: Authenticated Key Exchange Security Incorporating Certification Systems.	ESORICS	2013	DBLP DOI BibTeX RDF
26	Cas Cremers, Michèle Feltz	Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
26	Cas Cremers, Sjouke Mauw	Operational Semantics and Verification of Security Protocols		2012	DOI RDF
26	David A. Basin, Cas Cremers, Simon Meier	Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication.	POST	2012	DBLP DOI BibTeX RDF
26	Benedikt Schmidt 0002, Simon Meier, Cas Cremers, David A. Basin	Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties.	CSF	2012	DBLP DOI BibTeX RDF
26	Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun	Distance Hijacking Attacks on Distance Bounding Protocols.	NDSS	2012	DBLP BibTeX RDF
26	Cas Cremers, Michèle Feltz	Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal.	ESORICS	2012	DBLP DOI BibTeX RDF
26	Cas Cremers, Kasper Bonne Rasmussen, Benedikt Schmidt 0002, Srdjan Capkun	Distance Hijacking Attacks on Distance Bounding Protocols.	IEEE Symposium on Security and Privacy	2012	DBLP DOI BibTeX RDF
26	Cas Cremers, Michèle Feltz	One-round Strongly Secure Key Exchange with Perfect Forward Secrecy and Deniability.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
26	Cas Cremers, Kasper Bonne Rasmussen, Srdjan Capkun	Distance Hijacking Attacks on Distance Bounding Protocols.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
26	Johann Cas	Ubiquitous Computing, Privacy and Data Protection: Options and Limitations to Reconcile the Unprecedented Contradictions.	Computers, Privacy and Data Protection	2011	DBLP DOI BibTeX RDF
26	Cas Cremers	Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK.	AsiaCCS	2011	DBLP DOI BibTeX RDF
26	Cas Cremers	Key Exchange in IPsec Revisited: Formal Analysis of IKEv1 and IKEv2.	ESORICS	2011	DBLP DOI BibTeX RDF
26	Jure Cas, Gregor Skorc, Riko Safaric	Neural network position control of XY piezo actuator stage by visual feedback.	Neural Comput. Appl.	2010	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers	Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol.	Int. J. Appl. Cryptogr.	2010	DBLP DOI BibTeX RDF
26	Johann Cas	Privacy and Security: A Brief Synopsis of the Results of the European TA-Project PRISE.	Data Protection in a Profiled World	2010	DBLP DOI BibTeX RDF
26	Andrés Otero, Angel Morales-Cas, Jorge Portilla, Eduardo de la Torre, Teresa Riesgo	A Modular Peripheral to Support Self-Reconfiguration in SoCs.	DSD	2010	DBLP DOI BibTeX RDF
26	Simon Meier, Cas Cremers, David A. Basin	Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.	CSF	2010	DBLP DOI BibTeX RDF	formal methods, theorem proving, security protocols, automatic tools
26	David A. Basin, Cas Cremers	Modeling and Analyzing Security in the Presence of Compromising Adversaries.	ESORICS	2010	DBLP DOI BibTeX RDF
26	Cas Apanowicz	Data Warehouse Discovery Framework: The Foundation.	FGIT-DTA/BSBT	2010	DBLP DOI BibTeX RDF
26	Cas Apanowicz	Data Warehouse Discovery Framework: The Case Study.	FGIT-DTA/BSBT	2010	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers	Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries.	CSL	2010	DBLP DOI BibTeX RDF
26	Christina Pöpper, David A. Basin, Srdjan Capkun, Cas Cremers	Keeping data secret under full compromise using porter devices.	ACSAC	2010	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers	Formally and Practically Relating the CK, CK-HMQV, and eCK Security Models for Authenticated Key Exchange.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
26	David A. Basin, Cas Cremers	From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
26	Cas J. F. Cremers, Pascal Lafourcade 0001, Philippe Nadeau	Comparing State Spaces in Automatic Security Protocol Analysis.	Formal to Practical Security	2009	DBLP DOI BibTeX RDF
26	Riko Safaric, Jure Cas, Gregor Skorc, Sirhiy Ivanovich Protsenko	Micro and nano robotics.	ICAT	2009	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers	Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol.	ACNS	2009	DBLP DOI BibTeX RDF	Session- state reveal, Ephemeral Key reveal, Provably-secure, Authenticated Key Exchange
26	Cas Apanowicz	Data Warehousing and Business Intelligence: Benchmark Project for the Platform Selection.	FGIT-DTA	2009	DBLP DOI BibTeX RDF
26	Allan E. Clark, Cas G. Troskie	Time Series and Model Selection.	Commun. Stat. Simul. Comput.	2008	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers	Session-state Reveal is stronger than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange protocol.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
26	Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic	A framework for compositional verification of security protocols.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers	Unbounded verification, falsification, and characterization of security protocols by pattern refinement.	CCS	2008	DBLP DOI BibTeX RDF	falsification, security protocol analysis, unbounded verification, characterization
26	Cas Cremers	On the protocol composition logic PCL.	AsiaCCS	2008	DBLP DOI BibTeX RDF	security protocol analysis, composition, logic
26	Cas J. F. Cremers	The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols.	CAV	2008	DBLP DOI BibTeX RDF
26	Bojan Cas, Miran Saje, Igor Planinc	Buckling of layered wood columns.	Adv. Eng. Softw.	2007	DBLP DOI BibTeX RDF
26	Jure Cas, Darko Hercog, Riko Safaric	Web based educational tool for neural network robot control.	Int. J. Online Eng.	2007	DBLP BibTeX RDF
26	Cas Cremers	On the Protocol Composition Logic PCL	CoRR	2007	DBLP BibTeX RDF
26	Cas Cremers	Complete Characterization of Security Protocols by Pattern Refinement.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
26	Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink	Injective synchronisation: An extension of the authentication hierarchy.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
26	Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic	A framework for compositional verification of security protocols	CoRR	2006	DBLP BibTeX RDF
26	Cas Cremers	Feasibility of Multi-Protocol Attacks.	ARES	2006	DBLP DOI BibTeX RDF
26	Sjouke Mauw, Valérie Issarny, Cas Cremers (eds.)	Proceedings of the First International Workshop on Security and Trust Management, STM 2005, Milan, Italy, September 15, 2005	STM	2006	DBLP BibTeX RDF
26	Sjouke Mauw, Valérie Issarny, Cas Cremers	Preface.	STM	2005	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink	A Syntactic Criterion for Injectivity of Authentication Protocols.	ARSPA@ICALP	2005	DBLP DOI BibTeX RDF
26	Johann Cas	Privacy in pervasive computing environments - a contradiction in terms?	IEEE Technol. Soc. Mag.	2005	DBLP DOI BibTeX RDF
26	Cas Cremers	Compositionality of Security Protocols: A Research Agenda.	VODCA@FOSAD	2004	DBLP DOI BibTeX RDF
26	Cas J. F. Cremers, Sjouke Mauw	Checking Secrecy by Means of Partial Order Reduction.	SAM	2004	DBLP DOI BibTeX RDF
26	Cas Cremers, Sjouke Mauw	Operational Semantics of Security Protocols.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
26	Andrew Grant, Gwyneth Grant, Jean Gagné, Carl Blanchette, Émilie Comeau, Guillaume Brodeur, Jonathon Dionne, Alphonse Ayite, Piotr Synak, Jakub Wroblewski, Cas Apanowicz	Examination of Routine Practice Patterns in the Hospital Information Data Warehouse: Use of OLAP and Rough Set Analysis with Clinician Feedback.	AMIA	2001	DBLP BibTeX RDF
26	Klemen Cas	Integration von Kosten- und Marktdaten in einem Entscheidungsassistenten.	Wirtschaftsinf.	1999	DBLP DOI BibTeX RDF
26	Klemen Cas	Rechnergestützte Integration von Rechnungswesen-Informationen und Marktforschungsdaten: der Weg vom Symptom zur Therapie.		1999	RDF
26	John Cas Czelen	Legal Implications of Intelligent Autonomous Systems.	IAS	1986	DBLP BibTeX RDF
25		CAS Query.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF