4 ms·Dependent types can prevent buffer overflow attacks without any additional runtime overhead.by AnaniasAnanas 7y agoDependent types can prevent buffer overflow attacks without any additional runtime overhead.