Functional Ownership through Fractional Uniqueness

D Marshall, D Orchard - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Ownership and borrowing systems, designed to enforce safe memory management without
the need for garbage collection, have been brought to the fore by the Rust programming …

Curbing the Vulnerable Parser: Graded Modal Guardrails for Secure Input Handling

E Bond, M Heimerdinger - 2023 IEEE Secure Development …, 2023 - ieeexplore.ieee.org
Parsers written in an ad hoc manner are vulnerable to exploitation, but writing a secure
parser in a general purpose language often requires blending custom data validation with …