Visible to the public Science of Security VO

Winner of 7th Paper Competition is Evaluating Fuzz Testing
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...
Winner of 7th Paper Competition is Evaluating Fuzz Testing
NSA Launches Latest Codebreaker Challenge
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...
NSA Launches Latest Codebreaker Challenge
We're Surrounded by Billions of Internet-connected Devices. Can We Trust Them?
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...
We're Surrounded by Billions of Internet-connected Devices. Can We Trust Them?
Fall '19 SoS Quarterly Meeting
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...
Fall '19 SoS Quarterly Meeting
TCC 2019
The 17th Theory of Cryptography Conference Nuremberg, Germany December 1-5, 2019 TCC 2019 will take place in Nuremberg, Germany on December 1-5 2019. TCC 2019 is organized by the International Association for Cryptologic Research (IACR). Important Dates Paper Submission Deadline: May 29, 2019 Notification of...
TCC 2019
2020 NDSS
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...
2020 NDSS
DSN 2020
50th IEEE/IFIP Int. Conference on Dependable Systems and Networks Valencia, Spain June 29 - July 2, 2020 On behalf of the Organizing Committee, it is our pleasure to invite you to the 50th edition of the Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020), to be held in Valencia, a...
DSN 2020
ACSAC 2019
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...
ACSAC 2019





more ►

more ►

  • SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit
    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
  • Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
    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
  • Deductive Verification of Distributed Protocols in First-Order Logic
    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
  • Architecture Analysis and Verification of I3C Protocol
    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
  • Realization of System Verification Platform of IoT Smart Node Chip
    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
more ►

more ►