Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
INSAIT, Sofia University “St. Kliment Ohridski”
1
0
3
0
Finally, a separation logic handles heap-manipulating programs while reasoning about hyperproperties with arbitrary quantifier alternation, like generalized non-interference.