653 search results - page 63 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
CODES
2003
IEEE
14 years 2 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
ASPDAC
2010
ACM
13 years 7 months ago
2010
ACM
The concept of having an integrated circuit (IC) generate its own unique digital signature has broad application in areas such as embedded systems security, and IP/IC counterpiracy...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...
CCS
2006
ACM
14 years 24 days ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...