973 search results - page 49 / 195 » Usability: not as we know it! |
CCS
2003
ACM
15 years 5 months ago
2003
ACM
We describe a new, general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoff’s principle, by creating process-specific randomized ...
106
click to vote
TDSC
2010
14 years 6 months ago
2010
We describe Instruction-Set Randomization (ISR), a general approach for safeguarding systems against any type of code-injection attack. We apply Kerckhoffs' principle to creat...
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
FGCN
2007
IEEE
15 years 6 months ago
2007
IEEE
When the digital forensic investigator looks into the suspicious organization including the company, it is important to obtain the data which has the overview of information of th...