3003 search results - page 271 / 601 » Software Security: Building Security In |
140
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
130
click to vote
FAC
2008
15 years 6 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
157
click to vote
SICHERHEIT
2010
15 years 3 months ago
2010
We introduce a new representation for monitored behavior of malicious software called Malware Instruction Set (MIST). The representation is optimized for effective and efficient a...
165
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Long-term preservation of data and software of large experiments and detectors in high energy physics is of utmost importance to secure the heritage of (mostly unique) data and to...
149
click to vote
MOC
2010
15 years 20 days ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...