Visible to the public Science of Security VO

BY ADAM PIORE ON 10/24/19 AT 12:24 PM EDT - NEWSWEEK MAGAZINE In 2009, just as consumers had begun to buy wifi-enabled thermostats and front-door cams and other early devices that now make up the "Internet of Things," computer scientist Ang Cui had gotten the idea to scan the Web for "trivially vulnerable" embedded...
By Betsy Stein NSA/CSS Communications Officer FORT MEADE, MD, Sept. 20, 2019 -- Are you a U.S. undergraduate or graduate student interested in attempting to crack a cyber-challenge similar to those that regularly threaten national security? Then sign up for the 2019 NSA Codebreaker Challenge! The annual Codebreaker...
2019 Fall Science of Security and Privacy Quarterly Meeting The 2019 Fall Science of Security and Privacy Quarterly Meeting will be hosted by the UIUC Lablet at the Discovery Partners Institute in Chicago, Illinois on November 5 and 6. All sessions will be held in Classroom A. Registration: Register to Attend Program...
The winning paper is Evaluating Fuzz Testing by George Klees, Andrew Ruef, Benji Cooper, Shiyi Wei, and Michael Hicks. This paper was presented at ACM SIGSAC Conference on Computer and Communications Security (CCS '18) in Toronto. The research team investigated the evaluation process of fuzz testing tools. Fuzz testing...
The National Security Agency is currently taking applications for internships in the summer 2020 for its Summer Program in Science of Security. Applications are being accepted until October 15, 2019. The National Security Agency (NSA) Science of Security (SoS) & Privacy Lablets Summer Internship Program is for...
2019 Annual Computer Security Applications Conference December 9-13, 2019 Condado Plaza Hilton San Juan, Puerto Rico, USA ACSAC brings together cutting-edge researchers, with a broad cross-section of security professionals drawn from academia, industry, and government, gathered to present and discuss the latest...
2020 27th Annual Network and Distributed System Security Symposium February 23-26, 2020 San Diego, CA The Network and Distributed System Security Symposium is a top venue that fosters information exchange among researchers and practitioners of network and distributed system security. The target audience includes those...
The lastest information on all upcoming science of security related events.





  • Abstract: Abstract--The past ten years has seen increasing calls to make security research more "scientific". On the surface, most agree that this is desirable, given universal recognition of "science" as a positive force. However, we find that there is little clarity on what "scientific" means in the... more
  • Abstract: Exclusive-or (XOR) operations are common in cryptographic protocols, in particular in RFID protocols and electronic payment protocols. Although there are numerous applications, due to the inherent complexity of faithful models of XOR, there is only limited tool support for the verification of... more
  • Abstract: Formal verification of infinite-state systems, and distributed systems in particular, is a long standing research goal. In the deductive verification approach, the programmer provides inductive invariants and pre/post specifications of procedures, reducing the verification problem to checking... more
  • Abstract: In VLSI industry the design cycle is categorized into Front End Design and Back End Design. Front End Design flow is from Specifications to functional verification of RTL design. Back End Design is from logic synthesis to fabrication of chip. Handheld devices like Mobile SOC's is an amalgamation of... more
  • Abstract: With the development of large scale integrated circuits, the functions of the IoT chips have been increasingly perfect. The verification work has become one of the most important aspects. On the one hand, an efficient verification platform can ensure the correctness of the design. On the other hand... more