624 search results - page 99 / 125 » Application of Lightweight Formal Methods to Software Securi... |
134
click to vote
WPES
2006
ACM
15 years 5 months ago
2006
ACM
Many applications of mix networks such as anonymous Web browsing require relationship anonymity: it should be hard for the attacker to determine who is communicating with whom. Co...
EUROSYS
2008
ACM
15 years 9 months ago
2008
ACM
Protecting shared sensitive information is a key requirement for today’s distributed applications. Our research uses virtualization technologies to create and maintain trusted d...
100
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
107
click to vote
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
ISCAS
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...