EMSOFT
2011
Springer
13 years 5 days ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
HASE
2008
IEEE
14 years 17 days ago
2008
IEEE
In this paper, we propose a randomization based technique to verify whether a manufactured chip conforms to its design or is infected by any trojan circuit. A trojan circuit can be...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...