4386 search results - page 362 / 878 » A Tamper-Resistant Programming Language System |
136
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
121
click to vote
ENTCS
2002
15 years 3 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
164
click to vote
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
140
click to vote
TON
2012
13 years 6 months ago
2012
—Society relies heavily on its networked physical infrastructure and information systems. Accurately assessing the vulnerability of these systems against disruptive events is vit...
133
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Broadcast Language is a programming formalism devised by Holland in 1975, which aims at improving the efficiency of Genetic Algorithms (GAs) during long-term evolutio...