1599 search results - page 226 / 320 » Program Analysis for Security and Privacy |
190
Voted
ICDCS
2010
IEEE
15 years 28 days ago
2010
IEEE
As Cloud Computing becomes prevalent, sensitive information are being increasingly centralized into the cloud. For the protection of data privacy, sensitive data has to be encrypte...
166
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
145
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
131
Voted
SP
2010
IEEE
15 years 7 months ago
2010
IEEE
—Social networking sites such as Facebook, LinkedIn, and Xing have been reporting exponential growth rates. These sites have millions of registered users, and they are interestin...
153
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...