2019
16 references published this year.
A survey on advanced persistent threats: Techniques, solutions, challenges, and research opportunities
Adel Alshamrani et al. (2019) · IEEE Communications Surveys & Tutorials
Fifty years of Hoare's logic
Krzysztof R. Apt et al. (2019) · Formal Aspects of Computing
A review on software defined network security risks and challenges
Tsehay Admassu Assegie et al. (2019) · TELKOMNIKA (Telecommunication Computing Electronics and Control)
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
The Consistency of Arithmetic
Timothy Y. Chow (2019) · The Mathematical Intelligencer
New opportunities for integrated formal methods
Mario Gleirscher et al. (2019) · ACM Computing Surveys (CSUR)
Interoperability: The Critical Enabler in the Anti-Access Area-Denial Fight?
Timothy D. Keithley (2019)
Spectre Attacks: Exploiting Speculative Execution
Paul Kocher et al. (2019) · 2019 IEEE Symposium on Security and Privacy (SP)
Incorrectness logic
Peter W. O'Hearn (2019) · Proceedings of the ACM on Programming Languages
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
Long H. Pham et al. (2019) · Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
Why separation logic works
David Pym et al. (2019) · Philosophy & Technology
HPC Interconnects at the End of Moore's Law
John Shalf (2019) · Optical Fiber Communication Conference
SL-COMP: competition of solvers for separation logic
Mihaela Sighireanu et al. (2019) · International Conference on Tools and Algorithms for the Construction and Analysis of Systems