3 papers
cs.PL2024
Context-Aware Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Separation logic is often praised for its ability to closely mimic the locality of state updates when reasoning about them at the level of assertions. The prover only needs to conc…
cs.FL2024
Separability and Non-Determinizability of WSTS
Wojciech CzerwiÅski, Eren Keskin, SÅawomir Lasota +4
We study the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that every pair of disjoint WSTS langu…
cs.CR2024
I still know it's you! On Challenges in Anonymizing Source Code
Micha Horlboge, Erwin Quiring, Roland Meyer +1
The source code of a program not only defines its semantics but also contains subtle clues that can identify its author. Several studies have shown that these clues can be automati…