Now showing items 1-3 of 3

  • CODOMs: Protecting software with code-centric memory domains 

    Vilanova, Lluís; Ben-Yehuda, Muli; Navarro, Nacho; Etsion, Yoav; Valero Cortés, Mateo (Institute of Electrical and Electronics Engineers (IEEE), 2014)
    Conference report
    Restricted access - publisher's policy
    Today's complex software systems are neither secure nor reliable. The rudimentary software protection primitives provided by current hardware forces systems to run many distrusting software components (e.g., procedures, ...
  • Combining different implementations of types in a program 

    Franch Gutiérrez, Javier (Ulm University, 1994)
    Conference report
    Open Access
    This paper presents a methodology to support the existence of multiple type implementations when programming with a modular, abstract-data-type oriented language. Multiple implementations arise from the need to separate ...
  • LeanDebug 

    Trilla Romero, Miquel (Universitat Politècnica de Catalunya, 2006-11-23)
    Master thesis (pre-Bologna period)
    Open Access