3 search results - page 1 / 1 » Model-Driven Construction of Certified Binaries |
80
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
153
Voted
ICSR
2011
Springer
14 years 7 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
235
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...