C. H. R. Chhak

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Knowledge Compilation

Policy Enforcement

Enterprise Network

Top Venues

Publications

C. H. R. Chhak, Andrew Tolmach, Sean Anderson
Towards formally verified compilation of tag-based policy enforcement. CPP (2021)
C. H. R. Chhak, Andrew Tolmach, Sean Anderson
Towards Formally Verified Compilation of Tag-Based Policy Enforcement. CoRR (2020)