66 search results - page 8 / 14 » A dynamic binary instrumentation engine for the ARM architec... |
77
Voted
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
CCS
2009
ACM
15 years 3 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
84
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
The Elliptic Curve Digital Signature Algorithm admits a natural parallelization wherein the point multiplication step can be split in two parts and executed in parallel. Further pa...