5255 search results - page 372 / 1051 » Formal Methods for Privacy |
162
click to vote
PROVSEC
2007
Springer
15 years 11 months ago
2007
Springer
In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the recei...
124
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
113
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
122
click to vote
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
140
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...