The recent outbreak of microarchitectural attacks that are being continuously uncovered has shown us the hard way that our trust assumptions in the underlying hardware of our computing systems and security architectures are unjustified. Besides microarchitectural design flaws, System-on-Chip (SoC) designers often use third-party intellectual property (3PIP) cores and in-house IP cores to design their SoCs. Trustworthiness of such SoCs can be undermined by security bugs unintentionally introduced during the implementation and integration of these IPs. Each SoC has its own defined usage scenario and corresponding security objectives. When exploited, a security weakness often results in compromise or bypass of at least one of the product security objectives. As we have already witnessed, attacks may lead to a system failure or deadlock , or generate a side channel to remotely access sensitive information (e.g., cryptographic keys), or gain privileged access to the system enabling them to bypass the security mechanisms in place and compromise the whole computing platform.
The goal of this competition in its third edition in a row is to develop practical and effective solutions and computer-aided tools to identify such vulnerabilities more efficiently in buggy SoC, with a special focus on theory, tooling, and automation.
What is HACK@DAC?
Participating teams in this competition, in its third edition, try to mimic the practices of a security assurance team that is responsible for the security assurance of the hardware and firmware of the system under test. Their objective is to identify the security vulnerabilities (both microarchitectural/side-channel flaws as well as security bugs), assess their security impact, propose a mitigation, and report them. They are free to use any tools and techniques of their choosing, with a special focus this year on theory, tooling, and automation.
Participating teams will be affiliated with one of two categories: either student-only or mixed. Student-only teams comprise only of students affiliated with academic and research institutions, while mixed teams can comprise of members affiliated with industry only or both industry and academia.
The competition has two phases:
Phase I: Participating teams will be given a “buggy” SoC design which they need to analyze to identify as many security vulnerabilities as possible. We will provide specification details and the desired security properties and threat model. Freedom to choose tools and techniques is intended to minimize the barrier of entry for teams. Finalists will be selected from both team categories.
Phase II: The finalist teams from Phase I will be provided an SoC design with a new set of more bugs where they will compete in a live capture-the-flag competition co-located with DAC. They will need to apply their techniques (and any tools developed) to detect as many vulnerabilities on this new design in a limited time-frame. Bug submissions from the teams will be evaluated live and winners from both categories will be selected.
Who can participate?
Each team must meet all of the below eligibility requirements:
- A team member can be a student or a working professional.
- Provide ‘single’ e-mail address for your team.
- A team can consist of up-to 4 members (excluding the adviser).
- A team member cannot be associated with multiple teams.
- Individuals associated with Texas A&M University and TU Darmstadt are not allowed to participate in the competition to avoid conflict of interest.
- Individuals affiliated with multiple organizations can participate in one single team.
- No entry fee is required to participate in the competition.
- The organizers reserve the right to disqualify entries at their discretion.
- Jan 5, 2020: Registration begins.
- Feb 15, 2020: Phase I starts.
- May 15, 2020: Phase I ends and final submissions are due. (registration ends)
- May 19, 2020: Phase II finalists are announced.
- July 19-23, 2020: Phase II at DAC.
- Jason M Fung, Intel
- Dan Holcomb, UMass
- Arun Kanuparthi, Intel
- Hareesh Khattri, Intel
- Jeyavijayan Rajendran, Texas A&M University
- Ahmad-Reza Sadeghi, TU Darmstadt
To register, please fill in the form below or use this link. You will receive a confirmation email.
|Aerospace Chiplets||The Aerospace Corporation||Industry|
|Always@Posedge||Beijing Institute of Technology||Student|
|Beta4||New York University||Student|
|Buran||National Taiwan University||Student|
|Chipsters||New York University||Student|
|Dragonborn||New York University||Student|
|Formal Eis||TU Kaiserslautern||Student|
|GatorFormal||University of Florida; Tianjin University; Kansas State University||Student|
|Graciencos||Barcelona Supercomputing Center||Student|
|LesSemisCroustillants||CEA; University of Montpellier; Université of Grenoble||Student|
|NYU AZTECS||New York University||Student|
|NYU-HDAC||New York University||Student|
|NYUSec||New York University||Student|
|Purdue SoCET||Purdue University||Student|
|rising_edge(clk)||Goldman Sachs & Co.||Industry|
|roundcpuknights||Barcelona Supercomputing Center||Student|
|SEC||New York University||Student|
|securehardware@bi0s||Amrita Vishwa Vidhyapeetham||Student|
|SoC Rangers||Sankalp semiconducters||Industry|
|Team TIES||The University of Texas at Dallas||Student|
|Team UEC||The University of Electro-Communications; Independent||Industry|
|Tennessee State University||Tennessee State University||Student|
|Tribe||New York University||Student|
|USA Jaguars||University of South Alabama||Student|
|VUbar||Vrije Universiteit Amsterdam||Student|
|VUSec||Vrije Universiteit Amsterdam||Student|
|XYZ||Indian Institute of Technology Kanpur||Student|
*Teams that mix industry professionals and students are shown as “Industry”.
Venue & Travel
The Hack@DAC2020 will be held in San Francisco in July 2020 and is co-located with the DAC 2020 conference.