Related Articles

Articles tagged by Java

Home

Categories

Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23

Authors: Nicolas Berthier
Date: 2023-01-12
Category: Formal Methods
Tags: Java, security, tooling, static analysis, formal methods, formal verification, Development Tools

We are excited to announce that Nicolas will present a paper at the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) the 16th and 17th of January. This year, VMCAI is co-located with the Symposium on Principles of Programming Languages (POPL) conference, ... (Read more)