Page: 1 2 3 4 5 6 7... 103
41 |
MESH: A Memory-Efficient Safe Heap for C/C++ ...
|
|
|
|
Abstract:
While memory corruption bugs stemming from the use of unsafe programming languages are an old and well-researched problem, the resulting vulnerabilities still dominate real-world exploitation today. Various mitigations have been proposed to alleviate the problem, mainly in the form of language dialects, static program analysis, and code or binary instrumentation. Solutions like AdressSanitizer (ASan) and Softbound/CETS have proven that the latter approach is very promising, being able to achieve memory safety without requiring manual source code adaptions, albeit suffering substantial performance and memory overheads. While performance overhead can be seen as a flexible constraint, extensive memory overheads can be prohibitive for the use of such solutions in memory-constrained environments. To address this problem, we propose MESH, a highly memory-efficient safe heap for C/C++. With its constant, very small memory overhead (configurable up to 2 MB on x86-64) and constant complexity for pointer access ... : Original publication in The 16th International Conference on Availability, Reliability and Security (ARES 2021) ...
|
|
Keyword:
Cryptography and Security cs.CR; FOS Computer and information sciences; Programming Languages cs.PL
|
|
URL: https://arxiv.org/abs/2108.08683 https://dx.doi.org/10.48550/arxiv.2108.08683
|
|
BASE
|
|
Hide details
|
|
43 |
Generation of TypeScript Declaration Files from JavaScript Code ...
|
|
|
|
BASE
|
|
Show details
|
|
45 |
A Logical Programming Language as an Instrument for Specifying and Verifying Dynamic Memory ...
|
|
|
|
BASE
|
|
Show details
|
|
48 |
Visually Grounded Reasoning across Languages and Cultures ...
|
|
|
|
BASE
|
|
Show details
|
|
49 |
Automatic Grading Tool for Jupyter Notebooks in Artificial Intelligence Courses
|
|
|
|
In: Sustainability ; Volume 13 ; Issue 21 (2021)
|
|
BASE
|
|
Show details
|
|
50 |
Studying the Effectiveness of Code Animation in Teaching Recursive Programming
|
|
|
|
In: Honors College Theses (2021)
|
|
BASE
|
|
Show details
|
|
52 |
Why Aren't Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions ...
|
|
|
|
BASE
|
|
Show details
|
|
53 |
TreeBERT: A Tree-Based Pre-Trained Model for Programming Language ...
|
|
|
|
BASE
|
|
Show details
|
|
54 |
Query Lifting: Language-integrated query for heterogeneous nested collections ...
|
|
|
|
BASE
|
|
Show details
|
|
55 |
Evolution of human computer interaction
|
|
|
|
In: Sci. Visualization ; Scientific Visualization (2021)
|
|
BASE
|
|
Show details
|
|
56 |
Conversational agent for supporting learners on a MOOC on programming with Java
|
|
|
|
BASE
|
|
Show details
|
|
57 |
Identifying and solving issues with acquiring skills in computer programming for non-English speakers
|
|
|
|
In: Nnass, IA, (2020). Identifying and solving issues with acquiring skills in computer programming for non-English speakers. Doctoral Thesis. Central Queensland University, http://dx.doi.org/10.25946/5f039502e1dec (2020)
|
|
BASE
|
|
Show details
|
|
58 |
PROGRAMMER EN MAX AVEC bell
|
|
|
|
In: Journées d'informatique musicale (JIM) 2020 ; https://hal.archives-ouvertes.fr/hal-03019742 ; Journées d'informatique musicale (JIM) 2020, Oct 2020, Strasbourg (en virtuel), France (2020)
|
|
BASE
|
|
Show details
|
|
59 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
60 |
A Methodology for Teaching from Student Errors in Computer Science Education
|
|
|
|
BASE
|
|
Show details
|
|
Page: 1 2 3 4 5 6 7... 103
|
|