1 search results - page 1 / 1 » Melange: creating a "functional" internet |
EUROSYS
2007
ACM
14 years 1 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...