258 search results - page 31 / 52 » Securing Provenance |
101
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
110
click to vote
EIT
2008
IEEE
15 years 6 months ago
2008
IEEE
—The rapid growth and pervasive use of embedded systems makes it easier for an adversary to gain physical access to these devices to launch attacks and reverse engineer of the sy...
STOC
2005
ACM
16 years 2 days ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
ITNG
2008
IEEE
15 years 6 months ago
2008
IEEE
We propose a hierarchy-driven approach to facilitate student learning and foster a deeper understanding of the importance of attack patterns in computer, network, and software sec...
111
click to vote
JUCS
2008
14 years 11 months ago
2008
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...