Search results for "cas"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Abhrajit Sengupta, Ozgur Sinanoglu	CAS-Unlock: Unlocking CAS-Lock without Access to a Reverse-Engineered Netlist.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
30	Matteo Ragni	Mr.CAS - A minimalistic (pure) Ruby CAS for fast prototyping and code generation.	SoftwareX	2017	DBLP DOI BibTeX RDF
30	Quan Zhang, Yuzhen Ye	Not all predicted CRISPR-Cas systems are equal: isolated cas genes and classes of CRISPR like elements.	BMC Bioinform.	2017	DBLP DOI BibTeX RDF
30	Juan C. Oliveros, Mònica Franch, Daniel Tabas-Madrid, David San-León, Lluis Montoliu, Pilar Cubas, Florencio Pazos	Breaking-Cas - interactive design of guide RNAs for CRISPR-Cas experiments for ENSEMBL genomes.	Nucleic Acids Res.	2016	DBLP DOI BibTeX RDF
30	Peng Gao, Yongjian Liu, Qing Xie 0002	CB-CAS: A CAS-Based Cross-Browser SSO System.	APWeb (2)	2016	DBLP DOI BibTeX RDF
30	Edward Jack Powley	Quad Prize Submission: Simulating Elementary CAs with Trid CAs.	J. Cell. Autom.	2010	DBLP BibTeX RDF
30	Daniel H. Haft, Jeremy D. Selengut, Emmanuel F. Mongodin, Karen E. Nelson	A Guild of 45 CRISPR-Associated (Cas) Protein Families and Multiple CRISPR/Cas Subtypes Exist in Prokaryotic Genomes.	PLoS Comput. Biol.	2005	DBLP DOI BibTeX RDF
30	Michael G. Perkins	A comparison of the Hartley, Cas-Cas, Fourier, and discrete cosine transforms for image coding.	IEEE Trans. Commun.	1988	DBLP DOI BibTeX RDF
30	Najid-Zejli Hakima	Extensions algébriques : cas général et cas des radicaux. (Algebraic extensions : general case and case of radicals).		1985	RDF
30	Armin Janß, Wolfgang Lauer, Klaus Radermacher 0001	Cognitive Task Analysis for Prospective Usability Evaluation in Computer-Assisted Surgery.	USAB	2007	DBLP DOI BibTeX RDF	ConcurTaskTree, CAS-System, Human Error, Model-based User Interface Design, Cognitive Task Analysis, Cognitive Workload
30	Neven Jurkovic	Diagnosing and correcting student's misconceptions in an educational computer algebra system.	ISSAC	2001	DBLP DOI BibTeX RDF	mal-rules, intelligent tutoring systems (ITS), student modeling, computer algebra systems (CAS)
26	Prudencio Tossou, Cas Wognum, Michael Craig, Hadrien Mary, Emmanuel Noutahi	Real-World Molecular Out-Of-Distribution: Specification and Investigation.	J. Chem. Inf. Model.	2024	DBLP DOI BibTeX RDF
26	Cas Cremers, Julian Loss, Benedikt Wagner	A Holistic Security Analysis of Monero Transactions.	EUROCRYPT (3)	2024	DBLP DOI BibTeX RDF
26	Casper Bach Poulsen, Cas van der Rest	Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
26	Sebastian P. H. Speer, Christian Keysers, Judit Campdepadrós Barrios, Cas J. S. Teurlings, Ale Smidts, Maarten A. S. Boksem, Tor D. Wager, Valeria Gazzola	A multivariate brain signature for reward.	NeuroImage	2023	DBLP DOI BibTeX RDF
26	Xinyu Luo, Christopher Musco, Cas Widdershoven	Dimensionality Reduction for General KDE Mode Finding.	CoRR	2023	DBLP DOI BibTeX RDF
26	Cas van der Rest, Casper Bach Poulsen	Types and Semantics for Extensible Data Types (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
26	Dominique Beaini, Shenyang Huang, Joao Alex Cunha, Zhiyi Li, Gabriela Moisescu-Pareja, Oleksandr Dymov, Samuel Maddrell-Mander, Callum McLean, Frederik Wenkel, Luis Müller, Jama Hussein Mohamud, Ali Parviz, Michael Craig, Michal Koziarski, Jiarui Lu, Zhaocheng Zhu, Cristian Gabellini, Kerstin Klaser, Josef Dean, Cas Wognum, Maciej Sypetkowski, Guillaume Rabusseau, Reihaneh Rabbany, Jian Tang 0005, Christopher Morris 0001, Ioannis Koutis, Mirco Ravanelli, Guy Wolf, Prudencio Tossou, Hadrien Mary, Therence Bois, Andrew W. Fitzgibbon, Blazej Banaszewski, Chad Martin, Dominic Masters	Towards Foundational Models for Molecular Learning on Large-Scale Multi-Task Datasets.	CoRR	2023	DBLP DOI BibTeX RDF
26	Cas Cremers, Julian Loss, Benedikt Wagner	A Holistic Security Analysis of Monero Transactions.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Cas Cremers, Eyal Ronen, Mang Zhao	Multi-Stage Group Key Distribution and PAKEs: Securing Zoom Groups against Malicious Servers without New Security Elements.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Cas Cremers, Alexander Dax, Niklas Medinger	Keeping Up with the KEMs: Stronger Security Notions for KEMs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Weizhi Meng 0001, Christian Damsgaard Jensen, Cas Cremers, Engin Kirda (eds.)	Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023	CCS	2023	DBLP DOI BibTeX RDF
26	Cas Cremers, Charlie Jacomme, Philip Lukert	Subterm-Based Proof Techniques for Improving the Automation and Scope of Security Protocol Analysis.	CSF	2023	DBLP DOI BibTeX RDF
26	Cas van der Rest, Casper Bach Poulsen	Types and Semantics for Extensible Data Types.	APLAS	2023	DBLP DOI BibTeX RDF
26	Cas Cremers, Charlie Jacomme, Aurora Naska	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.	USENIX Security Symposium	2023	DBLP BibTeX RDF
26	Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.	USENIX Security Symposium	2023	DBLP BibTeX RDF
26	Cas Cremers, Alexander Dax, Charlie Jacomme, Mang Zhao	Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security.	USENIX Security Symposium	2023	DBLP BibTeX RDF
26	Cas Cremers, Alexander Dax, Aurora Naska	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.	USENIX Security Symposium	2023	DBLP BibTeX RDF
26	Nina Bindel, Cas Cremers, Mang Zhao	FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.	SP	2023	DBLP DOI BibTeX RDF
26	Xinyu Luo, Christopher Musco, Cas Widdershoven	Dimensionality Reduction for General KDE Mode Finding.	ICML	2023	DBLP BibTeX RDF
26	Cas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses	Intrinsically-typed definitional interpreters à la carte.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
26	Cas van der Rest, Wouter Swierstra	A completely unique account of enumeration.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
26	Geneviève Dusson, Markus Bachmayr, Gábor Csányi, Ralf Drautz, Simon Etter, Cas van der Oord, Christoph Ortner	Atomic cluster expansion: Completeness, efficiency and stability.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
26	Cas van der Rest, Jaro S. Reinders, Casper Bach Poulsen	Handling Higher-Order Effects.	CoRR	2022	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse	Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols.	IEEE Secur. Priv.	2022	DBLP DOI BibTeX RDF
26	Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira 0001, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale	Deploying decentralized, privacy-preserving proximity tracing.	Commun. ACM	2022	DBLP DOI BibTeX RDF
26	Nina Bindel, Cas Cremers, Mang Zhao	FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Mang Zhao	Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer	Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Caroline Fontaine, Charlie Jacomme	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Charlie Jacomme, Philip Lukert	Subterm-based proof techniques for improving the automation and scope of security protocol analysis.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Charlie Jacomme, Eyal Ronen	TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Charlie Jacomme, Aurora Naska	Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Cas Cremers, Alexander Dax, Aurora Naska	Formal Analysis of SPDM: Security Protocol and Data Model version 1.2.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
26	Johann Cas, Paul de Hert, Maria Grazia Porcedda, Charles D. Raab	Introduction to the Special Issue: Questioning Modern Surveillance Technologies: Ethical and Legal Challenges of Emerging Information and Communication Technologies.	Inf. Polity	2022	DBLP DOI BibTeX RDF
26	Heng Yin 0001, Angelos Stavrou, Cas Cremers, Elaine Shi (eds.)	Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022	CCS	2022	DBLP DOI BibTeX RDF
26	Hidde Bolijn, Martin Li, Andries Reurink, Cas van Rijn, Rafael Bidarra	Benni's Forest - a serious game on the challenges of reforestation.	CoG	2022	DBLP DOI BibTeX RDF
26	Cas van der Rest, Casper Bach Poulsen	Towards a Language for Defining Reusable Programming Language Components - (Project Paper).	TFP	2022	DBLP DOI BibTeX RDF
26	Cas Cremers, Caroline Fontaine, Charlie Jacomme	A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols.	SP	2022	DBLP DOI BibTeX RDF
26	Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen	CHIP and CRISP: Protecting All Parties Against Compromise Through Identity-Binding PAKEs.	CRYPTO (2)	2022	DBLP DOI BibTeX RDF
26	Cas Widdershoven	Unambiguous and finitely ambiguous automata.		2022	RDF
26	Marek Grzegorowski, Eftim Zdravevski, Andrzej Janusz, Petre Lameski, Cas Apanowicz, Dominik Slezak	Cost Optimization for Big Data Workloads Based on Dynamic Scheduling and Cluster-Size Tuning.	Big Data Res.	2021	DBLP DOI BibTeX RDF
26	Stefan Kiefer, Pavel Semukhin, Cas Widdershoven	Linear-Time Model Checking Branching Processes.	CoRR	2021	DBLP BibTeX RDF
26	Stefan Kiefer, Cas Widdershoven	Image-Binary Automata.	CoRR	2021	DBLP BibTeX RDF
26	Stefan Kiefer, Cas Widdershoven	Image-Binary Automata.	DCFS	2021	DBLP DOI BibTeX RDF
26	Cas Cremers, Britta Hale, Konrad Kohbrok	The Complexities of Healing in Secure Group Messaging: Why Cross-Group Effects Matter.	USENIX Security Symposium	2021	DBLP BibTeX RDF
26	Bien Klomberg, Irmak Hacimusaoglu, Cas Coopmans, Neil Cohn	Sequential meaning-making in language and visual narratives.	CogSci	2021	DBLP BibTeX RDF
26	Jennifer Cole 0002, Cas van de Ven, Curtis Matt Sharkey, Phillip Williamson, Patrick Doherty, Freya Robb	r/Coronavirus and the Viral Pandemic: A source of truth, comfort and companionship during COVID19.	CHI Extended Abstracts	2021	DBLP DOI BibTeX RDF
26	Stefan Kiefer, Pavel Semukhin, Cas Widdershoven	Linear-Time Model Checking Branching Processes.	CONCUR	2021	DBLP DOI BibTeX RDF
26	Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson	BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures.	SP	2021	DBLP DOI BibTeX RDF
26	Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno	SoK: Computer-Aided Cryptography.	SP	2021	DBLP DOI BibTeX RDF
26	Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao	The Provable Security of Ed25519: Theory and Practice.	SP	2021	DBLP DOI BibTeX RDF
26	Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes 0001, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore 0001, Manuel Barbosa, Rui Oliveira 0001, José Pereira 0001	Decentralized Privacy-Preserving Proximity Tracing.	IEEE Data Eng. Bull.	2020	DBLP BibTeX RDF
26	Chiara Crippa, Federico Franzosi, Mattia Zonca, Andrea Manconi, Giovanni B. Crosta, Luca Dei Cas, Federico Agliardi	Unraveling Spatial and Temporal Heterogeneities of Very Slow Rock-Slope Deformations with Targeted DInSAR Analyses.	Remote. Sens.	2020	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.	J. Cryptol.	2020	DBLP DOI BibTeX RDF
26	Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes 0001, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore 0001, Manuel Barbosa, Rui Oliveira 0001, José Pereira 0001	Decentralized Privacy-Preserving Proximity Tracing.	CoRR	2020	DBLP BibTeX RDF
26	Andrea Valassi, Manfred Alef, Jean-Michel Barbet, Olga Datskova, Riccardo De Maria, Miguel Fontes Medeiros, Domenico Giordano, Costin Grigoras, Christopher Hollowell, Martina Javurkova, Viktor Khristenko, David Lange, Michele Michelotto, Lorenzo Rinaldi, Andrea Sciabà, Cas Van Der Laan	Using HEP experiment workflows for the benchmarking and accounting of WLCG computing resources.	CoRR	2020	DBLP BibTeX RDF
26	Eftim Zdravevski, Petre Lameski, Cas Apanowicz, Dominik Slezak	From Big Data to business analytics: The case study of churn prediction.	Appl. Soft Comput.	2020	DBLP DOI BibTeX RDF
26	Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood	Randomness Improvements for Security Protocols.	RFC	2020	DBLP DOI BibTeX RDF
26	Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao	The Provable Security of Ed25519: Theory and Practice.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
26	Cas Cremers, Samed Düzlü, Rune Fiedler, Marc Fischlin, Christian Janson	BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
26	Cas van der Oord, Geneviève Dusson, Gábor Csányi, Christoph Ortner	Regularised atomic body-ordered permutation-invariant polynomials for the construction of interatomic potentials.	Mach. Learn. Sci. Technol.	2020	DBLP DOI BibTeX RDF
26	Cas Cremers, Jaiden Fairoze, Benjamin Kiesl, Aurora Naska	Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice.	CCS	2020	DBLP DOI BibTeX RDF
26	Liliya R. Akhmetzyanova, Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan	Limiting the impact of unreliable randomness in deployed security protocols.	CSF	2020	DBLP DOI BibTeX RDF
26	Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin	A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.	USENIX Security Symposium	2020	DBLP BibTeX RDF
26	Cas Cremers, Benjamin Kiesl, Niklas Medinger	A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by Cracking the Counters.	USENIX Security Symposium	2020	DBLP BibTeX RDF
26	Wouter de Leeuw, Mats Ricke, Cas Rosier, Thijs Wielenga, Sergio Grammatico	A multi ROSbot laboratory setup for experimenting autonomous driving maneuvers.	MED	2020	DBLP DOI BibTeX RDF
26	Kees de Jong, Cas Fahrenfort, Anas Younis, Zhiming Zhao	Sharing digital object across data infrastructures using Named Data Networking (NDN).	CCGRID	2020	DBLP DOI BibTeX RDF
26	Stefan Kiefer, Cas Widdershoven	Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques.	CoRR	2019	DBLP BibTeX RDF
26	Markus Bachmayr, Gábor Csányi, Geneviève Dusson, Simon Etter, Cas van der Oord, Christoph Ortner	Approximation of Potential Energy Surfaces with Spherical Harmonics.	CoRR	2019	DBLP BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager	Highly Efficient Key Exchange Protocols with Optimal Tightness - Enabling real-world deployments with theoretically sound parameters.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
26	Cas Cremers, Dennis Jackson	Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
26	Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
26	Cas Cremers, Britta Hale, Konrad Kohbrok	Revisiting Post-Compromise Security Guarantees in Group Messaging.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
26	Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno	SoK: Computer-Aided Cryptography.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
26	David Ruano-Ordás, Lindsey Burggraaff, Rongfang Liu, Cas van der Horst, Laura H. Heitman, Michael T. M. Emmerich, José Ramón Méndez 0001, Iryna Yevseyeva, Gerard J. P. van Westen	A multiple classifier system identifies novel cannabinoid CB2 receptor ligands.	J. Cheminformatics	2019	DBLP DOI BibTeX RDF
26	Cas Cremers, Martin Dehnel-Wild, Kevin Milner	Secure authentication in the grid: A formal analysis of DNP3 SAv5.	J. Comput. Secur.	2019	DBLP DOI BibTeX RDF
26	Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse	Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.	CCS	2019	DBLP DOI BibTeX RDF
26	Cas Fahrenfort, Zhiming Zhao	Effective Digital Object Access and Sharing Over a Networked Environment using DOIP and NDN.	eScience	2019	DBLP DOI BibTeX RDF
26	Cas Cremers, Dennis Jackson	Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.	CSF	2019	DBLP DOI BibTeX RDF
26	Cas Cremers, Martin Dehnel-Wild	Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion.	NDSS	2019	DBLP BibTeX RDF
26	Stefan Kiefer, Cas Widdershoven	Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques.	MFCS	2019	DBLP DOI BibTeX RDF
26	Eftim Zdravevski, Cas Apanowicz, Krzysztof Stencel, Dominik Slezak	Scalable Cloud-based ETL for Self-serving Analytics.	ICDM	2019	DBLP BibTeX RDF
26	Lucca Hirschi, Cas Cremers	Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions.	EuroS&P	2019	DBLP DOI BibTeX RDF
26	Eftim Zdravevski, Petre Lameski, Ace Dimitrievski, Marek Grzegorowski, Cas Apanowicz	Cluster-size optimization within a cloud-based ETL framework for Big Data.	IEEE BigData	2019	DBLP DOI BibTeX RDF
26	Katriel Cohn-Gordon, Cas Cremers, Kristian Gjøsteen, Håkon Jacobsen, Tibor Jager	Highly Efficient Key Exchange Protocols with Optimal Tightness.	CRYPTO (3)	2019	DBLP DOI BibTeX RDF
26	David A. Basin, Cas Cremers, Catherine Meadows 0001	Model Checking Security Protocols.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
26	Michèle Feltz, Cas Cremers	Strengthening the security of authenticated key exchange against bad randomness.	Des. Codes Cryptogr.	2018	DBLP DOI BibTeX RDF
26	Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen	When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives.	IEEE Secur. Priv.	2018	DBLP DOI BibTeX RDF