Intel Names {Hardware} Safety Award Winners | Enterprise

SANTA CLARA, Calif.–(BUSINESS WIRE)–Aug 10, 2022–

What’s New: Immediately, Intel introduced the winners of its second annual Intel Hardware Security Academic Award program, geared toward fostering modern analysis into options, instruments and methodologies to handle basic 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 intention to guard delicate datasets throughout all phases of the lifecycle – at relaxation, in transit and in use. Intel has an extended historical past of working intently with educational researchers to deal with massive challenges by way of applications like Intel Labs’ educational and college analysis grants, the Intel Bug Bounty program, and now by way 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 secure and safe future.”

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

In regards to the Award Program: The {Hardware} Safety Tutorial Award program is a part of Intel’s dedication to collaborate with and foster developments within the safety analysis group. The award program invitations educational researchers to submit a not too long ago printed paper demonstrating novel analysis with a significant impression 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, introduced 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 impression within the safety area.

For researchers who’re considering submitting a paper for subsequent 12 months’s program, the submission window will probably 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 deal with demonstrating important contribution to and impression 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 international locations. One-time awards of $75,000 for first prize and $50,000 for second prize will probably be granted to the winners’ educational establishment for use for additional analysis or curriculum growth. Along with the grant, successful authors will obtain entry to Intel’s digital pre-production check setting to assist in future analysis and will probably be invited to current their work on the invite-only Intel Security Conference (iSecCon) and will probably be featured on Intel’s Cyber Safety Inside podcast.

About This 12 months’s Winners:

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

On this paper, researchers reveal 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 circulate monitoring. Whereas the unique UPEC methodology was formulated for micro-architectural side-channel detection for CPUs, this work is demonstrating the right way to generalize and scale that methodology for confidentiality properties for SoCs. Their formulation works immediately on Register Switch Language (RTL) and has been built-in in a single industrial instrument backend, thus yielding a first-of-its-kind, virtually viable Pre-Si safety verification approach.

The successful group 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 Know-how, 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 vastly improved the flexibility to check crucial system software program, starting from embedded x86 firmware, to drivers, hypervisors and future confidential compute stacks. In reality, inside Intel’s Safety Heart of Excellence, researchers have already begun to leverage and evolve the expertise, and the outcomes have contributed to an excellent stronger software program growth lifecycle.

The successful group included:

  • Sergej Schumilo, Ruhr-Universität Bochum
  • Cornelius Aschermann, Ruhr-Universität Bochum
  • Thorsten Holz, School, CISPA Helmholtz Heart for Info 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 in the present day.

The successful group included:

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

About Intel

Intel (Nasdaq: INTC) is an trade chief, creating world-changing expertise that allows international progress and enriches lives. Impressed by Moore’s Regulation, we repeatedly work to advance the design and manufacturing of semiconductors to assist tackle our prospects’ best challenges. By embedding intelligence within the cloud, community, edge and each type of computing gadget, we unleash the potential of information to remodel enterprise and society for the higher. To be taught extra about Intel’s improvements, go to and

No product or element 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.

View supply model on

CONTACT: Jennifer Foss


[email protected]




Copyright Enterprise Wire 2022.

PUB: 08/10/2022 06:30 PM/DISC: 08/10/2022 06:32 PM