4693 search results - page 578 / 939 » Verifying Hybrid Systems |
164
click to vote
TRUST
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Recent research demonstrates that adversaries can inject malicious code into a peripheral’s firmware during a firmware update, which can result in password leakage or...
180
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we investigate synchronization in a small-world network of coupled nonlinear oscillators. This network is constructed by introducing random shortcuts in a neares...
184
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
145
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
In system-on-a-chip design, interfacing of Intellectual Property(IP) blocks is one of the most important issues. Since most IP’s are provided by different vendors, they have dif...
188
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...