2261 search results - page 7 / 453 » Dynamic types for authentication |
ICFP
2002
ACM
14 years 7 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...
IFIP
2004
Springer
14 years 26 days 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...
FPL
2008
Springer
13 years 9 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...
PLDI
1990
ACM
13 years 11 months ago
1990
ACM
CCS
1998
ACM
13 years 11 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...