7 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
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…