Concept
Information hiding
Related publications (20)
SoK: Shining Light on Shadow Stacks
Mathias Josef Payer, Xiangyu Zhang
Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge, i.e., indirect calls through function pointers and virtual calls. Protecting the backwa ...
IEEE COMPUTER SOC2019Truly abstract interfaces for algebraic data types: the extractor typing problem
Martin Odersky, Nicolas Alexander Stucki, Paolo Giosuè Giarrusso
Pattern matching enables inspecting algebraic data types, but typically prevents hiding the implementation of the matched algebraic data type. In Scala, instead, extractors also allow pattern matching on non-algebraic data types and invoking methods on the ...
2018