2014
29 references published this year.
Collaborating with the Enemy on Network Management (Transcript of Discussion)
Ross Anderson and others (2014) · Security Protocols XXII · Springer International Publishing
Correction for Kramer et al., Experimental evidence of massive-scale emotional contagion through social networks
Proceedings of the National Academy of Sciences (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
Hardware Trojan attacks: Threat analysis and countermeasures
Swarup Bhunia and others (2014) · Proceedings of the IEEE
The VerCors tool for verification of concurrent programs
Stefan Blom and others (2014) · International Symposium on Formal Methods · Springer
A Decision Procedure for Satisfiability in Separation Logic with Inductive Definitions
James Brotherston and others (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
David R. Cok (2014) · Formal Integrated Development Environment 2014 (F-IDE 2014) · Open Publishing Association
Self-organizing aerial mesh networks for emergency communication
Marco Di Felice and others (2014) · 2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication (PIMRC) · IEEE
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
Proof Pearl: The KeY to Correct and Stable Sorting
Stijn de Gouw and others (2014) · Journal of Automated Reasoning · Springer
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery
Collaborating with the enemy on network management
Chris Hall and others (2014) · Security Protocols XXII · Springer
A comparative analysis of microarchitecture effects on CPU and GPU memory system behavior
Joel Hestness and others (2014) · 2014 IEEE International Symposium on Workload Characterization (IISWC) · IEEE
Formal Specification with JML
Marieke Huisman and others (2014) · Karlsruhe Institute of Technology
Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors
Yoongu Kim and others (2014) · 2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA)
Experimental evidence of massive-scale emotional contagion through social networks
Adam D. I. Kramer and others (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
A proof system for separation logic with magic wand
Wonyeol Lee and others (2014) · ACM SIGPLAN Notices · Association for Computing Machinery
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents · Oxford University Press
Optical theorem for transmission lines
Edwin A. Marengo and others (2014) · Progress In Electromagnetics Research B
Communicating state transition systems for fine-grained concurrent resources
Aleksandar Nanevski and others (2014) · 23rd European Symposium on Programming Languages and Systems (ESOP) · Springer
Multilink Processors (Link 11/16/22) and Integration Architectures
Öztürk, Serdar and others (2014) · MilSOFT Yazilim Teknolojileri A.Ş.
Automating Separation Logic with Trees and Data
Ruzica Piskac and others (2014) · Computer Aided Verification · Springer
Key terrain in cyberspace: Seeking the high ground
David Raymond and others (2014) · 2014 6th International Conference On Cyber Conflict (CyCon 2014) · IEEE
Peering at Peerings: On the Role of IXP Route Servers
Philipp Richter and others (2014) · Proceedings of the 2014 Conference on Internet Measurement Conference · ACM
The CIA Strikes Back: Redefining Confidentiality, Integrity and Availability in Security
Spyridon Samonas and others (2014) · Journal of Information System Security
Completeness of separation logic with inductive definitions for program verification
Makoto Tatsuta and others (2014) · International Conference on Software Engineering and Formal Methods · Springer
Satisfiability modulo abstraction for separation logic with linked lists
Aditya Thakur and others (2014) · International SPIN Symposium on Model Checking of Software · Association for Computing Machinery
Editorial Expression of Concern: Experimental Evidence of Massive-Scale Emotional Contagion through Social Networks
Inder M. Verma (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences