8 research outputs found

    CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

    Full text link
    We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC.Comment: Technical report for CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code, appearing at EuroSys 201

    An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code

    No full text
    We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC

    Pregled tehnologija priprave oralno raspadljivih tableta

    Get PDF
    Orally disintegrating tablets (ODTs), also known as fast melts, quick melts, fast disintegrating and orodispersible systems, have the unique property of disintegrating in the mouth in seconds without chewing and the need of water and are thus assumed to improve patient compliance. Conventional methods like direct compression, wet granulation, moulding, spray-drying, freeze-drying and sublimation were used to prepare ODTs. New, advanced technologies like Orasolv®, Durasolv®, Wowtab®, Flashtab®, Zydis®, Flashdose®, Oraquick®, Lyoc®, Advatab®, Frosta®, Quick-Disc® and Nanomelt® have been introduced by some pharmaceutical companies for the production of ODTs. The main objective of this review is to give a comprehensive insight into conventional and recent technologies used for the preparation of ODTs.Oralno raspadljive tablete (ODT), poznate i kao lako topljive tablete, brzo raspadljive i kao orodisperzibilni sustavi, imaju jedinstveno svojstvo trenutnog raspadanja u ustima, bez žvakanja i bez potrebe uzimanja vode, što poboljšava pacijentovu suradljivost. U pripravi ODT koriste se uobičajene metode kao što su izravna kompresija, vlažna granulacija, kalupljenje, sušenje sprejanjem, sušenje smrzavanjem i sublimacija, a u njihovoj proizvodnji napredne tehnologije kao što su Orasolv®, Durasolv®, Wowtab®, Flashtab®, Zydis®, Flashdose®, Oraquick®, Lyoc®, Advatab®, Frosta®, Quick-Disc® i Nanomelt®. Cilj ovog rada je dati uvid u uobičajene i novije tehnologije u pripravi ODT
    corecore