Boris Eng

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 4

Top Topics

Security Management

Image Resolution

Top Venues

Publications

Boris Eng, Thomas Seiller
Multiplicative linear logic from a resolution-based tile system. CoRR (2022)
Boris Eng
Stellar Resolution: Multiplicatives - for the linear logician, through examples. CoRR (2020)
Boris Eng, Thomas Seiller
Stellar Resolution: Multiplicatives. CoRR (2020)
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. CSF (2016)