Using Formal Methods to Eliminate Exploitable Bugs Fisher K. 2015. Using Formal Methods to Eliminate Exploitable Bugs. Read more about Using Formal Methods to Eliminate Exploitable BugsDBLPLog in to post commentsGoogle ScholarBibTeX
Preventing Security Bugs through Software Design Kern C. 2015. Preventing Security Bugs through Software Design. Read more about Preventing Security Bugs through Software DesignDBLPLog in to post commentsGoogle ScholarBibTeX
Why Johnny and Janie {Can’t} Code Safely: Bringing Software Assurance to the Masses Miller B. 2015. Why Johnny and Janie {Can’t} Code Safely: Bringing Software Assurance to the Masses. Read more about Why Johnny and Janie {Can’t} Code Safely: Bringing Software Assurance to the MassesDBLPLog in to post commentsGoogle ScholarBibTeX
Conducting Usable Security Studies: It's Complicated Cranor LFaith. 2015. Conducting Usable Security Studies: It's Complicated. Read more about Conducting Usable Security Studies: It's ComplicatedDBLPLog in to post commentsGoogle ScholarBibTeX
Transforming Innovative Security Concepts into Disruptive Security Companies Gordon R. 2015. Transforming Innovative Security Concepts into Disruptive Security Companies. Read more about Transforming Innovative Security Concepts into Disruptive Security CompaniesDBLPLog in to post commentsGoogle ScholarBibTeX
Machine vs. Machine: Lessons from the First Year of Cyber Grand Challenge Walker M. 2015. Machine vs. Machine: Lessons from the First Year of Cyber Grand Challenge. Read more about Machine vs. Machine: Lessons from the First Year of Cyber Grand ChallengeDBLPLog in to post commentsGoogle ScholarBibTeX
Panel on Research Ethics [Anonymous]. 2015. Panel on Research Ethics. Read more about Panel on Research EthicsDBLPLog in to post commentsGoogle ScholarBibTeX
Network Protocols: Myths, Missteps, and Mysteries [Anonymous]. 2015. Network Protocols: Myths, Missteps, and Mysteries. Read more about Network Protocols: Myths, Missteps, and MysteriesDBLPLog in to post commentsGoogle ScholarBibTeX
Inherent Cyber Insecurity and Our National Security: Surviving on a Diet of Poisoned Fruit Danzig D.Richard J. 2015. Inherent Cyber Insecurity and Our National Security: Surviving on a Diet of Poisoned Fruit. Read more about Inherent Cyber Insecurity and Our National Security: Surviving on a Diet of Poisoned FruitDBLPLog in to post commentsGoogle ScholarBibTeX
Kubernetes and the Path to Cloud Native [Anonymous]. 2015. Kubernetes and the Path to Cloud Native. Read more about Kubernetes and the Path to Cloud NativeDBLPLog in to post commentsGoogle ScholarBibTeX
