2017
19 references published this year.
The VerCors Tool Set: Verification of Parallel and Concurrent Software
Stefan Blom et al. (2017) · Integrated Formal Methods
Biabduction (and Related Problems) in Array Separation Logic
James Brotherston et al. (2017) · Automated Deduction – CADE 26
Bringing order to the separation logic jungle
Qinxiang Cao et al. (2017) · 15th Asian Symposium on Programming Languages and Systems (APLAS)
Predicativity and Feferman
Laura Crosilla (2017) · Feferman on Foundations: Logic, mathematics, philosophy
The cyber domain
Glenn Alexander Crowther (2017) · The cyber defense review
A revolution too far? US defence innovation, Europe and NATO's military-technological gap
Daniel Fiott (2017) · Journal of Strategic Studies
RustBelt: Securing the foundations of the Rust programming language
Ralf Jung et al. (2017) · Proceedings of the ACM on Programming Languages
The insider threat to cybersecurity: How group process and ignorance affect analyst accuracy and promptitude
Ryan F. Kelly (2017)
Interactive proofs in higher-order concurrent separation logic
Robbert Krebbers et al. (2017) · 44th ACM Symposium on Principles of Programming Languages (POPL)
Programming languages: A survey
Krishan Kumar et al. (2017) · International Journal on Recent and Innovation Trends in Computing and Communication
A mathematical framework to optimize critical infrastructure resilience against intentional attacks
Min Ouyang et al. (2017) · Computer-Aided Civil and Infrastructure Engineering
Reasoning in the Bernays-Schönfinkel-Ramsey fragment of separation logic
Andrew Reynolds et al. (2017) · 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds et al. (2017) · Formal Methods in System Design
Strategic A2/AD in Cyberspace
Alison Lawlor Russell (2017)
The coming software apocalypse
James Somers (2017) · The Atlantic
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik et al. (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17)
The end of moore's law: A new beginning for information technology
Thomas N. Theis et al. (2017) · Computing in science & engineering
Silicon Photonics: Electromagnetic theory
Wouter J. Westerveld et al. (2017)
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017)