Computer scientists at the University of California, San Diego, have developed a tool that allows hardware designers and system builders to test security- a first for the field. One of the tool’s potential uses is described in the May-June issue of IEEE Micro magazine.
“The stakes in hardware security are high”, said Ryan Kastner, a professor of computer science at the Jacobs School of Engineering at UC San Diego.
From left: Ph.D. student Jason Oberg, computer science professor Ryan Kastner and postdoctoral research Jonathan Valamehr.
There is a big push to create the so-called Internet of Things, where all devices are connected and communicate with one another. As a result, embedded systems—small computer systems built around microcontrollers—are becoming more common. But they remain vulnerable to security breaches. Some examples of devices that may be hackable: medical devices, cars, cell phones and smart grid technology.
“Engineers traditionally design devices to be fast and use as little power as possible,” said Jonathan Valamehr, a postdoctoral researcher in the Department of Computer Science and Engineering at UC San Diego. “Oftentimes, they don’t design them with security in mind.”
The tool, based on the team’s research on Gate-level Information Flow Tracking, or GLIFT, tags critical pieces in a hardware’s security system and tracks them. The tool leverages this technology to detect security-specific properties within a hardware system. For example, the tool can make sure that a cryptographic key does not leak outside a chip’s cryptographic core.
There are two main threats in hardware security. The first is confidentiality. In some types of hardware, one can determine a device’s cryptographic key based on the amount of time it takes to encrypt information. The tool can detect these so-called timing channels that can compromise a device’s security. The second threat is integrity, where a critical subsystem within a device can be affected by non-critical ones. For example, a car’s brakes can be affected by its CD player. The tool can detect these integrity violations as well.
Valamehr, Kastner, and Ph.D. candidate Jason Oberg started a company named Tortuga Logic to commercialize this technology. The company is currently working with two of the top semiconductor companies in the world. Their next step is to focus on medical devices, computers in cars, and military applications.
The team recently were awarded a $150,000 grant from the National Science Foundation to grow their business and further their research.
Tortuga Logic is a member of the Medical Device Innovation Safety and Security committee, a nonprofit professional organization and of the Vehicle Electrical System Security Committee.
Jacobs School of Engineering
Ioana Patringenaru | Eurek Alert!
LAMA 2.0 accelerates more than just numerical applications
21.06.2016 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI
Researchers open hairy new chapter in 3-D printing
20.06.2016 | Massachusetts Institute of Technology
R2D2, a joint project to analyze and development high-TRL processes and technologies for manufacture of flexible organic light-emitting diodes (OLEDs) funded by the German Federal Ministry of Education and Research (BMBF) has been successfully completed.
In contrast to point light sources like LEDs made of inorganic semiconductor crystals, organic light-emitting diodes (OLEDs) are light-emitting surfaces. Their...
High resolution rotational spectroscopy reveals an unprecedented number of conformations of an odorant molecule – a new world record!
In a recent publication in the journal Physical Chemistry Chemical Physics, researchers from the Max Planck Institute for the Structure and Dynamics of Matter...
Strands of cow cartilage substitute for ink in a 3D bioprinting process that may one day create cartilage patches for worn out joints, according to a team of engineers. "Our goal is to create tissue that can be used to replace large amounts of worn out tissue or design patches," said Ibrahim T. Ozbolat, associate professor of engineering science and mechanics. "Those who have osteoarthritis in their joints suffer a lot. We need a new alternative treatment for this."
Cartilage is a good tissue to target for scale-up bioprinting because it is made up of only one cell type and has no blood vessels within the tissue. It is...
Physicists in Innsbruck have realized the first quantum simulation of lattice gauge theories, building a bridge between high-energy theory and atomic physics. In the journal Nature, Rainer Blatt‘s and Peter Zoller’s research teams describe how they simulated the creation of elementary particle pairs out of the vacuum by using a quantum computer.
Elementary particles are the fundamental buildings blocks of matter, and their properties are described by the Standard Model of particle physics. The...
A year and a half on the outer wall of the International Space Station ISS in altitude of 400 kilometers is a real challenge. Whether a primordial bacterium...
28.06.2016 | Event News
09.06.2016 | Event News
24.05.2016 | Event News
28.06.2016 | Physics and Astronomy
28.06.2016 | Life Sciences
28.06.2016 | Physics and Astronomy