65 search results - page 7 / 13 » Provably Correct Runtime Monitoring |
94
Voted
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
FCCM
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a proto-type autonomous signal processing system on a chip. The system is architected such that high performance digital signal processing occurs in the FPGAâ€...
87
Voted
CORR
2002
Springer
15 years 19 days ago
2002
Springer
An algorithm M is described that solves any well-defined problem p as quickly as the fastest algorithm computing a solution to p, save for a factor of 5 and loworder additive term...
109
click to vote
ENTCS
2006
15 years 25 days ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
119
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...