2019
35 references published this year.
LSAR: Multi-UAV Collaboration for Search and Rescue Missions
Ebtehal T. Alotaibi and others (2019) · IEEE Access
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani and others (2019) · IEEE Communications Surveys & Tutorials
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
A review on software defined network security risks and challenges
Tsehay Admassu Assegie and others (2019) · TELKOMNIKA (Telecommunication Computing Electronics and Control) · Ahmad Dahlan University
Forward with separation logic
Callum Bannister (2019)
On the hourglass model
Micah Beck (2019) · Communications of the ACM
The transboundary crisis: Why we are unprepared and the road ahead
Arjen Boin (2019) · Journal of Contingencies and Crisis Management
Generalization of the Landauer Principle for Computing Devices Based on Many-Valued Logic
Edward Bormashenko (2019) · Entropy · MDPI AG
Deepfakes and the New Disinformation War: The Coming Age of Post-Truth Geopolitics
Robert Chesney and others (2019) · Foreign Affairs
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer · Springer
Quine's New Foundations
Thomas Forster (2019) · The Stanford Encyclopedia of Philosophy · Metaphysics Research Lab, Stanford University
(Ideo)Logical Reasoning: Ideology Impairs Sound Reasoning
Anup Gampa and others (2019) · Social Psychological and Personality Science · SAGE Publications
Photonics and Fiber Optics: Foundations and Applications
Tarun Kumar Gangopadhyay and others (2019) · CRC Press
Time Protection: The Missing OS Abstraction
Qian Ge and others (2019) · Proceedings of the Fourteenth EuroSys Conference · Association for Computing Machinery
New opportunities for integrated formal methods
Mario Gleirscher and others (2019) · ACM Computing Surveys (CSUR)
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
Messaging Before the Internet—Early Electrical Telegraphs [Historical]
Massimo Guarnieri (2019) · IEEE Industrial Electronics Magazine · IEEE
A new golden age for computer architecture
John L. Hennessy and others (2019) · Communications of the ACM · Association for Computing Machinery
Design and Implementation of Ternary Logic Integrated Circuits by Using Novel Two-Dimensional Materials
Mingqiang Huang and others (2019) · Applied Sciences · MDPI AG
DIY Photolithography using 1980s Carl Zeiss S-Planar Lens (405nm)
Huygens Optics (2019) · YouTube · video
Scheduling Workloads of Workflows in Clusters and Clouds
Alexey Ilyushkin (2019) · Delft University of Technology
Interoperability: The Critical Enabler in the Anti-Access Area-Denial Fight?
Timothy D. Keithley (2019) · Marine Corps University, Command and Staff College
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher and others (2019) · 2019 IEEE Symposium on Security and Privacy (SP) · IEEE
VHF Data Exchange System (VDES): an enabling technology for maritime communications
Francisco Lázaro and others (2019) · CEAS Space Journal
The Engineering of Climate Engineering
Douglas G. MacMartin and others (2019) · Annual Review of Control, Robotics, and Autonomous Systems · Annual Reviews
Taming Anycast in the Wild Internet
Stephen McQuistin and others (2019) · Proceedings of the Internet Measurement Conference · ACM
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Hidden Risks to Cyberspace Security from Obsolete COTS Software
Barış Egemen Özkan and others (2019) · 2019 11th International Conference on Cyber Conflict: Silent Battle · NATO CCD COE Publications
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham and others (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings · Springer
A Survey on Recent Advances in Transport Layer Protocols
Michele Polese and others (2019) · IEEE Communications Surveys & Tutorials
Why Separation Logic Works
David Pym and others (2019) · Philosophy & Technology · Springer
Security assurance against cybercrime ransomware
Habib ur Rehman and others (2019) · International Conference on Intelligent Computing & Optimization (ICO) · Springer
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference · Optica Publishing Group
SL-COMP: Competition of Solvers for Separation Logic
Mihaela Sighireanu and others (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
A Survey on Malicious Domains Detection through DNS Data Analysis
Yury Zhauniarovich and others (2019) · ACM Computing Surveys