2018
28 references published this year.
Backwards and Forwards with Separation Logic
Callum Bannister et al. (2018) · 9th International Conference on Interactive Theorem Proving (ITP)
On models of higher-order separation logic
Aleš Bizjak et al. (2018) · Electronic Notes in Theoretical Computer Science
The elusive internet flattening: 10 years of IXP growth
Timm Böttger et al. (2018)
Generals in cyberspace: Military insights for defending cyberspace
Peter Campbell (2018) · Orbis
Pufssl: an openssl extension for puf based authentication
Urbi Chatterjee et al. (2018) · 2018 IEEE 23rd International Conference on Digital Signal Processing (DSP)
Designing an Internet
David D. Clark (2018)
The effects of adding reachability predicates in propositional separation logic
Stéphane Demri et al. (2018) · 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)
On the Expressive Completeness of Bernays-Schönfinkel-Ramsey Separation Logic
Mnacho Echenim et al. (2018)
A survey of microarchitectural timing attacks and countermeasures on contemporary hardware
Qian Ge et al. (2018) · Journal of Cryptographic Engineering
European deterrence for European assurance: The United States and Russian adventurism in the Crimea
Larry Geddings Jr (2018) · US Army Command and General Staff College
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung et al. (2018) · Journal of Functional Programming
Adapting Kerckhoffs's Principle: CPU Attacks Leading a Path from Cryptography to Open-Source Hardware
Thorsten Knoll (2018) · Fourth Wiesbaden Workshop on Advanced Microkernel Operating Systems (WAMOS 2018)
Internet eXchange points: current challenges and new opportunities
Roberto Di Lallo (2018)
Next Generation Internet 2025
Michiel Leenaars et al. (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union
Meltdown
Moritz Lipp et al. (2018)
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit et al. (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
Blending electronics with the human body: a pathway toward a cybernetic future
Mehdi Mehrali et al. (2018) · Advanced science
Non-wellfounded Set Theory
Lawrence S. Moss (2018) · The Stanford Encyclopedia of Philosophy
Security assurance against cybercrime ransomware
Habib ur Rehman et al. (2018) · International Conference on Intelligent Computing & Optimization (ICO)
PSYOP and Social Networks
Andrew A. Sadoun (2018)
Challenges to cybersecurity: Current state of affairs
Ravi Sen (2018) · Communications of the Association for Information Systems
Resilience analysis: A mathematical formulation to model resilience of engineering systems
Neetesh Sharma et al. (2018) · Sustainable and Resilient Infrastructure
Advanced Computer Architectures
Sajjan G. Shiva (2018)
Joint Publication 3-12 - Cyberspace Operations
Joint Chiefs of Staff (2018) · U.S. Department of Defense
Hybrid simulation for cyber physical systems: state of the art and a literature review.
Andreas Tolk et al. (2018) · SpringSim (ANSS)
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM
Understanding Internet shutdowns: A case study from Pakistan
Benjamin Wagner (2018) · International Journal of Communication