2261 search results - page 7 / 453 » Dynamic types for authentication |
126
Voted
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
122
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
132
click to vote
FPL
2008
Springer
15 years 4 months ago
2008
Springer
A high-speed and secure dynamic partial reconfiguration (DPR) system is realized with AES-GCM that guarantees both confidentiality and authenticity of FPGA bitstreams. In DPR syst...
118
Voted
PLDI
1990
ACM
15 years 6 months ago
1990
ACM
134
click to vote
CCS
1998
ACM
15 years 6 months ago
1998
ACM
Many modern computing environments involve dynamic peer groups. Distributed simulation, multi-user games, conferencing and replicated servers are just a few examples. Given the op...