3115 search results - page 432 / 623 » Synthesizing Secure Protocols |
280
Voted
NCA
2011
IEEE
15 years 1 months ago
2011
IEEE
—Neural Networks have been an active research area for decades. However, privacy bothers many when the training dataset for the neural networks is distributed between two parties...
146
click to vote
ATVA
2009
Springer
16 years 22 days ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
168
Voted
OOPSLA
2007
Springer
16 years 9 days ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
182
click to vote
CCS
2009
ACM
16 years 29 days ago
2009
ACM
We propose a proximity-based access control scheme for implantable medical devices (IMDs). Our scheme is based on ultrasonic distancebounding and enables an implanted medical devi...
157
click to vote
WPES
2004
ACM
15 years 11 months ago
2004
ACM
The number of location-aware mobile devices has been rising for several years. As this trend continues, these devices may be able to use their location information to provide inte...