2236 search results - page 60 / 448 » Secure Software Design in Practice |
119
click to vote
ETFA
2005
IEEE
15 years 8 months ago
2005
IEEE
Data access and software exchange are often achieved over insecure networks such as the public Internet. System designers are therefore forced to be proactive with regard to verif...
138
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
We extend Goldberg’s multi-server information-theoretic private information retrieval (PIR) with a suite of protocols for privacypreserving e-commerce. Our first protocol adds ...
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
142
click to vote
SASN
2003
ACM
15 years 7 months ago
2003
ACM
Peer-to-Peer (P2P) applications and services are very common in today’s computing. The popularity of the P2P paradigm prompts the need for specialized security services which ma...
129
Voted
WCRE
1993
IEEE
15 years 6 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...