会员服务
Make flows small again: revisiting the flow framework
Arxiv
0+阅读 · 2023年4月10日
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Arxiv
0+阅读 · 2023年4月11日
Lilac: a Modal Separation Logic for Conditional Probability
Arxiv
0+阅读 · 2023年4月3日
Embedding Hindsight Reasoning in Separation Logic
Arxiv
0+阅读 · 2023年4月5日
参考链接
微信扫码咨询专知VIP会员
Top