Searching for "Unsafe Standardization." – sorted by Relevance.
-
A Practical Dynamic Buffer Overflow Detector
- of the unsafe standard C library routines that have been instrumental to successful exploits of vulnerable
- Cited by 96 (1 self) – Add To MetaCart
-
M.: How Emily Tamed the Caml
- compiler is called a second time, this time with the full (unsafe) standard library and the full powerbox
- Cited by 1 (0 self) – Add To MetaCart
-
CASPER: Compiler-Assisted Securing of Programs at Runtime
- to potentially unsafe standard library functions. The main disadvantage of libsafe is that it will fail
- Cited by 3 (1 self) – Add To MetaCart
-
Data-abstraction refinement: A game semantic approach
- for the purpose of abstraction refinement. The reason is that, given an unsafe standard play of an abstracted term
- Cited by 6 (3 self) – Add To MetaCart
-
Towards a High-Productivity and High-Performance
- . Although not as polymorphic as the (type unsafe) standard OCaml marshaling library, it is compatible
- Add To MetaCart
-
SHEMP: Secure Hardware Enhanced MyProxy
- the private key or use it at will. In addition to being unsafe, standard software keystores have
- Add To MetaCart

