Search Results for author:
Found 3 papers, 1 papers with code
ScreenSeg: On-Device Screenshot Layout Analysis
We propose a novel end-to-end solution that performs a Hierarchical Layout Analysis of screenshots and document images on resource constrained devices like mobilephones.
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
However, while research in this area has so far focused on preserving observational equivalence, as needed for achieving full abstraction, there is a much larger space of security properties one can choose to preserve against linked adversarial code.
Programming Languages Cryptography and Security
A Relational Logic for Higher-Order Programs
Relational program verification can be used for reasoning about a broad range of properties, including equivalence and refinement, and specialized notions such as continuity, information flow security or relative cost.
Programming Languages
