publication venue for Quantitative estimation of side-channel leaks with neural networks 2021 A bit too precise? Verification of quantized digital filters 2014 Static analysis for concurrent programs with applications to data race detection 2013
