7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
Mads Dam, Andreas Lundblad
We propose a light-weight approach for certification of monitor inlining for sequential Java bytecode using proof-carrying code. The goal is to enable the use of monitoring for qua…