2270 search results - page 438 / 454 » Modelling Secure IT Systems - A Survey |
146
Voted
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Economic incentives have driven the semiconductor industry to separate design from fabrication in recent years. This trend leads to potential vulnerabilities from untrusted circui...
138
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
Cameras are ubiquitous everywhere and hold the promise of significantly changing the way we live and interact with our environment. Human activity recognition is central to under...
148
Voted
ICONFERENCE
2012
13 years 11 months ago
2012
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
168
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
140
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper presents PrivacyGrid - a framework for supporting anonymous location-based queries in mobile information delivery systems. The PrivacyGrid framework offers three unique...