11 search results - page 2 / 3 » esorics 2002 |
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
It is believed that masking is an effective countermeasure against power analysis attacks: before a certain operation involving a key is performed in a cryptographic chip, the inpu...
101
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Network based intrusions have become a serious threat to the users of the Internet. Intruders who wish to attack computers attached to the Internet frequently conceal their identit...