"Driving ADA's Legacy into the 21st Century"
A Celebration of Women in Computing Lightning Talks, Nov. 16, 2017, University of Michigan
"A Community of Collaboration: The December 2016 C-FAR Annual Research Review"
Center for Future Architectures Research
"Engaging Ethiopia"
University of Michigan - University Record
"Meet the Faculty: Valeria Bertacco"
University of Michigan - EECS YouTube channel
"U-M and AAIT: A Special Relationship"
University of Michigan - EECS YouTube channel
"Torturing OpenSSL"
- Linux Conference Australia, 2012
YouTube video
- Black Hat USA Briefing, 2012
YouTube demo
FunSAT
YouTube demo
Professional Profile
-
January 15, 2018
Reimagining how computers are designed: University of Michigan leads new $32M center
EECS News
-
November 20, 2017
Ada Lovelace Opera and Lightning Talks Highlight Women's Contributions to Computing
EECS News
-
September 20, 2017
55th Design Automation Conference (DAC) Names Executive Committee
BusinessWire
-
July 25, 2017
Growing collaborations in Ethiopia
Michigan News
-
June 5, 2017
Valeria Bertacco Appointed Associate Dean for Academic Programs and Initiatives at Rackham Graduate School
EECS News
-
May 2017
National Leadership Program Announces 2017-18 Class of Fellows
Drexel University Office of the Provost
-
February 17, 2017
Valeria Bertacco Named Arthur F. Thurnau Professor for Contributions to Undergraduate Education
EECS News
-
February 16, 2017
U-M honors six faculty members with Thurnau professorships
University Record
-
December 8, 2016
Valeria Bertacco Elected IEEE Fellow for Contributions to Computer-aided Verification and Reliable System Design
EECS News
-
February 5, 2016
Valeria Bertacco Receives U-M Sarah Goddard Power Award
EECS News
-
January 9, 2016
Two CSE Faculty Selected for 2015-16 College of Engineering Awards
EECS News
-
December 5, 2014
Prof. Valeria Bertacco Named ACM Distinguished Scientist
EECS News
-
December 4, 2014
ACM's distinguished computer scientists, engineers and educators cited for global reach and real-world impact
Association for Computing Machinery
-
October 9, 2014
Prof. Valeria Bertacco Receives U-M's Faculty Recognition Award
EECS News
-
October 3, 2014
Faculty members honored for scholarship, service
University of Michigan - The University Record
-
November 18, 2013
Meet the faculty video
University of Michigan - EECS YouTube channel
-
August 19, 2011
Valeria Bertacco to Receive Early Career Award from IEEE CEDA
EECS News
-
August 4, 2011
Valeria Bertacco Receives IBM Faculty Award
EECS news - University of Michigan
-
August 2011
IEEE council on EDA to honor Valeria Bertacco of the University of Michigan with Early Career Award
ChipEstimate.com
-
March 24, 2011
Valeria Bertacco and CSE Alum Ilya Wagner Author Book on Post-Silicon and Run-Time Verification
EECS News
-
December 20, 2017
US military backs project to create unhackable 'Morpheus' computer that can thwart hackers 'like a Rubik's cube'
Daily Mail
-
December 19, 2017
Unhackable computer under development with $3.6 million DARPA grant
EurekAlert!
-
December 19, 2017
Unhackable computer under development with $3.6M DARPA grant
University of Michigan News
-
April 10, 2017
Baking Hack Resistance Directly into Hardware
DARPA News and Events
- January 28, 2013
What will tech look like in 2030?
The Michigan Daily - Rachel Premack - January 23, 2013
DARPA shells out $194m for 'phase 6' of STARnet chip project
The Register - Timothy Morgan - January 18, 2013
New $28M center led by U-M will develop computers of 2025
Record Update - University of Michigan - Nicole Casal Moore - January 17, 2013
New $28M center will develop computers of 2025
Video
University of Michigan - EECS news - July 30, 2012
Chip malfunctions reveal private keys
Mocana - Robert Vamosi - July 23, 2012
Using chip malfunction to leak private keys
Dark Reading - April 26, 2010
Web security attack 'makes silicon chips more reliable'
BBC News - Mark Ward - April 2010
Torturing the secret out of a secure chip
IEEE Spectrum - Mark Anderson - March 15, 2010
New research proves that RSA encryption can be foiled
TechShout
- March 9, 2010
1024-bit RSA encryption cracked by carefully starving CPU of electricity Engadget.com - Sean Hollister - March 5, 2010
Researches find RSA security hole
Technorati - Bradford Schmidt - March 4, 2010
Researchers find way to zap RSA Algorithm
Slashdot.org - timothy - March 4, 2010
'Severe' OpenSSL vuln busts public key crypto
The Register - Dan Goodin - March 4, 2010
Study finds weakness in security system
United Press International - January 30, 2015
Engaging Ethiopia
University of Michigan - University Record - October 11, 2013
U-M and AAIT: A Special Relationship
University of Michigan - EECS YouTube channel - August 8, 2012
Faculty help build program, relationship with Addis Ababa Institute of Technology in Ethiopia
University of Michigan - EECS news - August 12, 2011
First a computer lab. Then an intercontinental collaboration
Michigan Engineering Lablog - Nicole Casal Moore - July 31, 2009
FunSAT computer game uses human intuition to solve hardware design problems
GameGuru.in - Prakash Mehta - July 31, 2009
Game uses human intuition to assist computers in solving knotty problems
Techshout - Demetrius Castro - July 30, 2009
Making a game of hardware design
Slashdot - Soulskill - July 30, 2009
Game utilizes human intuition to help computers solve complex problems
ScienceDaily - July 2009
Crowdsourcing the complexities of electronic design automation
IEEE Spectrum - Joshua Romero - July 29, 2009
Game uses fun as incentive to solve hard chip-design problems
BoingBoing - Cory Doctorow - September 29, 2008
Computer hardware 'guardians' protect users from undiscovered bugs
University of Michigan - News Service
- October 8, 2008
Ensuring Chip Stability - Hardware bugs could be avoided by limiting chips to tested behaviors
MIT Technology Review - Rachel Kremen
New York Times Syndicate - October 2, 2008
Semantic guardians for our computers?
ZDNet - Roland Piquepaille - October 7 2008
Computer Hardware 'Guardians' Protect Users From Undiscovered Bugs
Science Daily - September 30, 2008
Researchers develop bug-blocking chip monitor
PCWorld - Robert McMillan
- April, 2008
Researchers use software to find chip flaws
IEEE Computer News Briefs - Linda Paulson
- January/February, 2008
From the Labs: Fixing bugs in hardware
MIT Technology Review - January/February 2008 Access Restricted - January 28, 2008
Researchers clear 'fog' around post-silicon debugging
SCDsource - Richard Goering - November 20, 2007
Better computer chips, sooner
MIT Technology Review - Kate Greene - November 13, 2007
New technology to automate silicon chip debugging
Thaindian News - November 13, 2007
New computer program automates chip debugging
University of Michigan - News service - November 9, 2007
Software specialist FogClear focuses post-silicon
EEtimes Online - Colin Johnson - November 6, 2007
New computer program automates chip debugging
ScienceDaily - November 6, 2007
Automating chip debugging
ZDNet - Roland Piquepaille - November 6, 2007
New development takes the trial and error out of purging computer chips of bugs
AssociatedContent - Kara Hartwig - November 6, 2007
Computer program automates chip debugging
United Press International