Emproof presenting at 60th Design Automation Conference

The Emproof team will be in San Francisco 10 -12 July attending the Design Automation Conference (DAC) In its 60^th year, DAC is the premier destination for the entire ecosystem devoted to the design and design automation of electronic circuits and systems.

Over five days DAC provides over 300 technical presentations and sessions that are selected by a committee of electronic design and university research experts. They focus on recent development and trends in management practices and new products, methodologies, and technologies in the electronics industry.

We’re thrilled that Tim Blazytko our co-founder and chief scientist was selected and will be presenting on Wednesday, July 12^th 1:30pm – 3:00pm PDT in the Edge – AI and Security session organised by MediaTek. His presentation will focus on Formal Verification Methods for Binary Translation in Embedded Instruction Set Architectures.  The session will also feature presentations from NXP and Kinara.ai.

“I’m excited to be presenting at DAC this year to share our technical learnings and methods on verifying binary rewriting technology. For us at Emproof, we make use of various verification methods to guarantee the functional safety of our code transformations which secure embedded devices – obfuscation, exploit mitigation and more,” said Tim.

Find out more about DAC: www.dac.com