Intel Names {Hardware} Safety Award Winners

SANTA CLARA, Calif.–(BUSINESS WIRE)–What’s New: At present, Intel introduced the winners of its second annual Intel Hardware Security Academic Award program, aimed toward fostering modern analysis into options, instruments and methodologies to handle elementary safety challenges and improve the trade’s capability to ship safer and reliable foundational applied sciences.

“With the exponential progress of information and synthetic intelligence (AI) throughout the compute spectrum, we’ve additionally seen elevated sophistication and frequency of assaults. As an trade, it’s crucial that we purpose to guard delicate datasets throughout all levels of the lifecycle – at relaxation, in transit and in use. Intel has a protracted historical past of working intently with educational researchers to sort out large challenges by means of applications like Intel Labs’ educational and school analysis grants, the Intel Bug Bounty program, and now by means of the {hardware} safety award. We worth their insights and dedication and, collectively, we’re making progress towards our shared imaginative and prescient of a protected and safe future.”

– Sridhar Iyengar, vice chairman of Intel Labs and director of Safety and Privateness Analysis

In regards to the Award Program: The {Hardware} Safety Educational Award program is a part of Intel’s dedication to collaborate with and foster developments within the safety analysis neighborhood. The award program invitations educational researchers to submit a lately printed paper demonstrating novel analysis with a significant influence on the {hardware} safety ecosystem, together with however not restricted to Intel’s personal merchandise. Anand Rajan, senior director of Rising Safety Lab at Intel Labs, offered this 12 months’s awards throughout a reception in Boston that coincided with the USENIX Safety Symposium.

This 12 months’s program scope expanded to ask improvements in confidential manufacturing methodologies, instruments and capabilities, in help of Intel’s IDM 2.0 vision for a trusted and safe provide chain ecosystem. A Take a look at of Time award was additionally added to this system to honor papers printed greater than 10 years in the past, which have demonstrated a big and lasting influence within the safety discipline.

For researchers who’re excited by submitting a paper for subsequent 12 months’s program, the submission window will likely be introduced on the program page.

In regards to the Prizes: A committee at Intel examined the viability, novelty, originality and relevance of all submissions with a concentrate on demonstrating important contribution to and influence on the {hardware} safety trade. This 12 months’s candidates spanned 34 papers, that includes greater than 140 authors from educational and trade backgrounds throughout 11 nations. One-time awards of $75,000 for first prize and $50,000 for second prize will likely be granted to the winners’ educational establishment for use for additional analysis or curriculum improvement. Along with the grant, successful authors will obtain entry to Intel’s digital pre-production check surroundings to help in future analysis and will likely be invited to current their work on the invite-only Intel Security Conference (iSecCon) and will likely be featured on Intel’s Cyber Safety Inside podcast.

About This Yr’s Winners:

First place:A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level

On this paper, researchers exhibit how Distinctive Program Executing (UPEC) methodology can be utilized to purpose about confidentiality properties of a system-on-chip (SoC). UPEC methodology employs an environment friendly, induction-based formulation for data movement monitoring. Whereas the unique UPEC methodology was formulated for micro-architectural side-channel detection for CPUs, this work is demonstrating how you can generalize and scale that methodology for confidentiality properties for SoCs. Their formulation works instantly on Register Switch Language (RTL) and has been built-in in a single industrial device backend, thus yielding a first-of-its-kind, virtually viable Pre-Si safety verification method.

The successful workforce included:

  • Johannes Müller, Technische Universität Kaiserslautern
  • Mohammad R. Fadiheh, Technische Universität Kaiserslautern
  • Anna Lena Duque Antón, Technische Universität Kaiserslautern
  • Thomas Eisenbarth, Professor, Universität zu Lübeck
  • Dominik Stoffel, Apl. Professor, Technische Universität Kaiserslautern
  • Wolfgang Kunz, Professor, Technische Universität Kaiserslautern

Second place:Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

This analysis demonstrates how trendy {hardware} options (Intel® Virtualization Expertise, prolonged web page tables [EPT], Intel® Processor Hint, and page-modification logging [PML]) can be utilized to construct efficient and modern safety validation instruments. The analysis has drastically improved the power to check crucial system software program, starting from embedded x86 firmware, to drivers, hypervisors and future confidential compute stacks. Actually, inside Intel’s Safety Heart of Excellence, researchers have already begun to leverage and evolve the know-how, and the outcomes have contributed to a good stronger software program improvement lifecycle.

The successful workforce included:

  • Sergej Schumilo, Ruhr-Universität Bochum
  • Cornelius Aschermann, Ruhr-Universität Bochum
  • Thorsten Holz, College, CISPA Helmholtz Heart for Data Safety

Take a look at of Time Award:AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing

Printed in 2003, this analysis describes a single-chip safe processor together with a configuration the place the underlying system software program is untrusted. The proposed structure included a number of novel concepts at the moment, reminiscent of cryptographic measurement and attestation, reminiscence integrity verification and reminiscence encryption. This work helped encourage the broader area of reliable computing and the sensible realization of the novel options will be present in a variety of trusted execution environments (TEEs) deployed throughout the trade at present.

The successful workforce included:

  • G. Edward Suh, Professor, Cornell College, Analysis Scientist, Meta AI
  • Dwaine Clarke, Senior Lecturer, College of the West Indies
  • Blaise Gassend, Senior Employees Software program Engineer, Waymo
  • Marten van Dijk, Professor, Centrum Wiskunde & Informatica, Affiliated Professor, College of Connecticut
  • Srinivas Devadas, Webster Professor, Massachusetts Institute of Expertise

About Intel

Intel (Nasdaq: INTC) is an trade chief, creating world-changing know-how that permits world progress and enriches lives. Impressed by Moore’s Legislation, we repeatedly work to advance the design and manufacturing of semiconductors to assist handle our clients’ best challenges. By embedding intelligence within the cloud, community, edge and each sort of computing system, we unleash the potential of information to rework enterprise and society for the higher. To study extra about Intel’s improvements, go to and

No product or part will be completely safe.

© Intel Company. Intel, the Intel emblem and different Intel marks are logos of Intel Company or its subsidiaries. Different names and types could also be claimed because the property of others.{Hardware}-Safety-Award-Winners