|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 460 occurrences of 346 keywords
|
|
|
Results
Found 1499 publication records. Showing 1470 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1443, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Matteo Ragni |
Mr.CAS - A minimalistic (pure) Ruby CAS for fast prototyping and code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftwareX ![In: SoftwareX 6, pp. 128-134, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 18(1), pp. 92:1-92:12, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 44(Webserver-Issue), pp. W267-W271, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Peng Gao, Yongjian Liu, Qing Xie 0002 |
CB-CAS: A CAS-Based Cross-Browser SSO System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb (2) ![In: Web Technologies and Applications - 18th Asia-Pacific Web Conference, APWeb 2016, Suzhou, China, September 23-25, 2016. Proceedings, Part II, pp. 574-578, 2016, Springer, 978-3-319-45816-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Edward Jack Powley |
Quad Prize Submission: Simulating Elementary CAs with Trid CAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cell. Autom. ![In: J. Cell. Autom. 5(4-5), pp. 415-417, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 1(6), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Michael G. Perkins |
A comparison of the Hartley, Cas-Cas, Fourier, and discrete cosine transforms for image coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 36(6), pp. 758-761, 1988. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1985 |
RDF |
|
30 | Armin Janß, Wolfgang Lauer, Klaus Radermacher 0001 |
Cognitive Task Analysis for Prospective Usability Evaluation in Computer-Assisted Surgery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USAB ![In: HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings, pp. 349-356, 2007, Springer, 978-3-540-76804-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, ISSAC 2001, ORCCA & University of Western Ontario, London, Ontario, Canada, July 22-25, 2001, pp. 195-200, 2001, ACM, 1-58113-417-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 64(3), pp. 697-711, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Julian Loss, Benedikt Wagner |
A Holistic Security Analysis of Monero Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (3) ![In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III, pp. 129-159, 2024, Springer, 978-3-031-58733-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Casper Bach Poulsen, Cas van der Rest |
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 1801-1831, January 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 271, pp. 119990, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xinyu Luo, Christopher Musco, Cas Widdershoven |
Dimensionality Reduction for General KDE Mode Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.18755, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cas van der Rest, Casper Bach Poulsen |
Types and Semantics for Extensible Data Types (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14985, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.04292, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Julian Loss, Benedikt Wagner |
A Holistic Security Analysis of Monero Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 321, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1243, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1246, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Alexander Dax, Niklas Medinger |
Keeping Up with the KEMs: Stronger Security Notions for KEMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1933, 2023. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![ACM The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 36th IEEE Computer Security Foundations Symposium, CSF 2023, Dubrovnik, Croatia, July 10-14, 2023, pp. 200-213, 2023, IEEE, 979-8-3503-2192-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Cas van der Rest, Casper Bach Poulsen |
Types and Semantics for Extensible Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings, pp. 46-66, 2023, Springer, 978-981-99-8310-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1235-1252, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 5899-5916, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 5935-5952, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Alexander Dax, Aurora Naska |
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 6611-6628, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Nina Bindel, Cas Cremers, Mang Zhao |
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023, pp. 1471-1490, 2023, IEEE, 978-1-6654-9336-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Xinyu Luo, Christopher Musco, Cas Widdershoven |
Dimensionality Reduction for General KDE Mode Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 23067-23082, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 1903-1932, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Cas van der Rest, Wouter Swierstra |
A completely unique account of enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(ICFP), pp. 411-437, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 454, pp. 110946, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Cas van der Rest, Jaro S. Reinders, Casper Bach Poulsen |
Handling Higher-Order Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.03288, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse |
Tamarin: Verification of Large-Scale, Real-World, Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 20(3), pp. 24-32, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 65(9), pp. 48-57, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1029, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Mang Zhao |
Provably Post-Quantum Secure Messaging with Strong Compromise Resilience and Immediate Decryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1481, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1314, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 401, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1130, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Charlie Jacomme, Eyal Ronen |
TokenWeaver: Privacy Preserving and Post-Compromise Secure Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1691, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1710, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Alexander Dax, Aurora Naska |
Formal Analysis of SPDM: Security Protocol and Data Model version 1.2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1724, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Polity ![In: Inf. Polity 27(2), pp. 121-129, 2022. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![ACM, 978-1-4503-9450-5 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoG ![In: IEEE Conference on Games, CoG 2022, Beijing, China, August 21-24, 2022, pp. 245-252, 2022, IEEE, 978-1-6654-5989-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Cas van der Rest, Casper Bach Poulsen |
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers, pp. 18-38, 2022, Springer, 978-3-031-21313-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022, pp. 125-141, 2022, IEEE, 978-1-6654-1316-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15-18, 2022, Proceedings, Part II, pp. 668-698, 2022, Springer, 978-3-031-15978-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Cas Widdershoven |
Unambiguous and finitely ambiguous automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Res. ![In: Big Data Res. 25, pp. 100203, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
Linear-Time Model Checking Branching Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.01687, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Stefan Kiefer, Cas Widdershoven |
Image-Binary Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.01049, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Stefan Kiefer, Cas Widdershoven |
Image-Binary Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings, pp. 176-187, 2021, Springer, 978-3-030-93488-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021, pp. 1847-1864, 2021, USENIX Association, 978-1-939133-24-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Bien Klomberg, Irmak Hacimusaoglu, Cas Coopmans, Neil Cohn |
Sequential meaning-making in language and visual narratives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, CogSci 2021, virtual, July 26-29, 2021, 2021, cognitivesciencesociety.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI '21: CHI Conference on Human Factors in Computing Systems, Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts., pp. 153:1-153:6, 2021, ACM, 978-1-4503-8095-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kiefer, Pavel Semukhin, Cas Widdershoven |
Linear-Time Model Checking Branching Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 6:1-6:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 1696-1714, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
SoK: Computer-Aided Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 777-795, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao |
The Provable Security of Ed25519: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 1659-1676, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Data Eng. Bull. ![In: IEEE Data Eng. Bull. 43(2), pp. 36-66, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(8), pp. 1329, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 33(4), pp. 1914-1983, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.12273, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.01609, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 90, pp. 106164, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Luke Garratt, Stanislav Smyshlyaev, Nick Sullivan, Christopher A. Wood |
Randomness Improvements for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8937, pp. 1-9, October 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao |
The Provable Security of Ed25519: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 823, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 1525, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. Sci. Technol. ![In: Mach. Learn. Sci. Technol. 1(1), pp. 15004, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020, pp. 1481-1495, 2020, ACM, 978-1-4503-7089-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 33rd IEEE Computer Security Foundations Symposium, CSF 2020, Boston, MA, USA, June 22-26, 2020, pp. 277-287, 2020, IEEE, 978-1-7281-6572-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, pp. 1857-1874, 2020, USENIX Association, 978-1-939133-17-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 29th USENIX Security Symposium, USENIX Security 2020, August 12-14, 2020, pp. 1-17, 2020, USENIX Association, 978-1-939133-17-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MED ![In: 28th Mediterranean Conference on Control and Automation, MED 2020, Saint-Raphaël, France, September 15-18, 2020, pp. 532-537, 2020, IEEE, 978-1-7281-5742-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, CCGRID 2020, Melbourne, Australia, May 11-14, 2020, pp. 873-880, 2020, IEEE, 978-1-7281-6095-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Kiefer, Cas Widdershoven |
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.10093, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.03550, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 737, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Dennis Jackson |
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 526, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 779, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Cas Cremers, Britta Hale, Konrad Kohbrok |
Revisiting Post-Compromise Security Guarantees in Group Messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 477, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Manuel Barbosa, Gilles Barthe, Karthikeyan Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
SoK: Computer-Aided Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1393, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cheminformatics ![In: J. Cheminformatics 11(1), pp. 66:1-66:14, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Martin Dehnel-Wild, Kevin Milner |
Secure authentication in the grid: A formal analysis of DNP3 SAv5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 27(2), pp. 203-232, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 2165-2180, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Cas Fahrenfort, Zhiming Zhao |
Effective Digital Object Access and Sharing Over a Networked Environment using DOIP and NDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: 15th International Conference on eScience, eScience 2019, San Diego, CA, USA, September 24-27, 2019, pp. 632-633, 2019, IEEE, 978-1-7281-2451-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 32nd IEEE Computer Security Foundations Symposium, CSF 2019, Hoboken, NJ, USA, June 25-28, 2019, pp. 78-93, 2019, IEEE, 978-1-7281-1407-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Cas Cremers, Martin Dehnel-Wild |
Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24-27, 2019, 2019, The Internet Society, 1-891562-55-X. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Stefan Kiefer, Cas Widdershoven |
Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 82:1-82:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Eftim Zdravevski, Cas Apanowicz, Krzysztof Stencel, Dominik Slezak |
Scalable Cloud-based ETL for Self-serving Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Advances in Data Mining - Applications and Theoretical Aspects, 19th Industrial Conference, ICDM 2019, New York, USA, July 17 - July 21, 2019, pp. 317-331, 2019, ibai Publishing, 978-3-942952-60-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, pp. 635-650, 2019, IEEE, 978-1-7281-1148-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2019 IEEE International Conference on Big Data (IEEE BigData), Los Angeles, CA, USA, December 9-12, 2019, pp. 3754-3763, 2019, IEEE, 978-1-7281-0858-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (3) ![In: Advances in Cryptology - CRYPTO 2019 - 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part III, pp. 767-797, 2019, Springer, 978-3-030-26953-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Cas Cremers, Catherine Meadows 0001 |
Model Checking Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Model Checking ![In: Handbook of Model Checking., pp. 727-762, 2018, Springer, 978-3-319-10574-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Michèle Feltz, Cas Cremers |
Strengthening the security of authenticated key exchange against bad randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 86(3), pp. 481-516, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ilias Giechaskiel, Cas Cremers, Kasper Bonne Rasmussen |
When the Crypto in Cryptocurrencies Breaks: Bitcoin Security under Broken Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 16(4), pp. 46-56, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1470 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|