2290 search results - page 1 / 458 » Extensible Protected Types |
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
CHES
2009
Springer
13 years 11 months ago
2009
Springer
Power-based side channel attacks are a significant security risk, especially for embedded applications. To improve the security of such devices, protected logic styles have been p...
IWAN
2004
Springer
13 years 10 months ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
POPL
1999
ACM
13 years 9 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...