Crypto Library Detection in Cloud

Total Page:16

File Type:pdf, Size:1020Kb

Crypto Library Detection in Cloud Proceedings on Privacy Enhancing Technologies 2014; 1 (11):1–16 Gorka Irazoqui, Mehmet Sinan İncİ, Thomas Eisenbarth, and Berk Sunar Know Thy Neighbor: Crypto Library Detection in Cloud Abstract: Software updates and security patches have mid scale companies such as Dropbox1 leverage the become a standard method to fix known and recently ability to outsource and scale computational needs to discovered security vulnerabilities in deployed software. cloud service providers (CSPs) such as Amazon AWS2 In server applications, outdated cryptographic libraries or Google Compute Engine. Other companies may build allow adversaries to exploit weaknesses and launch at- their computational infrastructure in the form of private tacks with significant security results. The proposed clouds, harnessing cost savings from resource sharing technique exploits leakages at the hardware level to and centralized resource management within the com- first, determine if a specific cryptographic library is run- pany. ning inside (or not) a co-located virtual machine (VM) Nevertheless, one of the main concerns that is slow- and second to discover the IP of the co-located target. ing the widespread usage of such Infrastructure as a To this end, we use a Flush+Reload cache side-channel Service (IaaS) technologies are potential security vul- technique to measure the time it takes to call (load) nerabilities and privacy risks of cloud computing. Usu- a cryptographic library function. Shorter loading times ally, CSPs employ virtual machines (VMs), allowing are indicative of the library already residing in mem- multiple tenants to share the same computing hard- ory and shared by the VM manager through dedupli- ware. While this resource sharing maximizes utilization cation. We demonstrate the viability of the proposed and hence drastically reduces cost, ensuring isolation technique by detecting and distinguishing various cryp- of potentially sensitive data between VMs instantiated tographic libraries, including MatrixSSL, PolarSSL, by different and untrusted tenants can be a challenge. GnuTLS, OpenSSL and CyaSSL along with the IP of the Indeed, the main security principle in the design and VM running these libraries. In addition, we show how implementation of virtual machine managers (VMMs) to differentiate between various versions of libraries to has been that of process and data isolation achieved better select an attack target as well as the applica- through sandboxing. Although logical isolation ensures ble exploit. Our experiments show a complete attack security at the software level, a malicious tenant might setup scenario with single-trial success rates of up to still extract private information due to leakage coming 90% under light load and up to 50% under heavy load from side channels such as shared hardware resources. for libraries running in KVM. In short, hardware sharing create an opening for vari- ous side channel attacks developed for non-virtualized Keywords: Cryptographic Libraries, Cross-VM attacks, environments. These powerful attacks are capable of ex- Virtualization, Deduplication tracting sensitive information, e.g. passwords and pri- vate keys, by profiling the victim process. ignoring leak- ages of information through subtle side-channels shared 1 Motivation by the processes running on the same physical hardware. In non-virtualized environments, a number of effective side-channel attacks were proposed that succeeded in Cloud computing has become a major building block in extracting sensitive data by targeting the software layer today’s computing infrastructure. Many start-up and only. As early as in 2003, D. Brumley and Boneh [22] demonstrated timing side-channel vulnerabilities in Gorka Irazoqui: Worcester Polytechnic Institute, E-mail: [email protected] OpenSSL 0.9.7 [44], in the context of sandboxed exe- Mehmet Sinan İncİ: Worcester Polytechnic Institute, E- cution in VMMs. The study recovers RSA private keys mail: [email protected] Thomas Eisenbarth: Worcester Polytechnic Institute, E- mail: [email protected] Berk Sunar: Worcester Polytechnic Institute, E-mail: 1 Dropbox grew from nil to an astounding 175 million users [email protected] from 2007 to 2013 [3]. 2 Amazon AWS generated $3.8 billion revenue in 2013 [1]. Know Thy Neighbor: Crypto Library Detection in Cloud 2 from an OpenSSL-based web server when victim and at- to mitigate these new attacks. It should be noted that tacker run in the same processor. Symmetric cryptog- side channel attacks are just one more threat to cryp- raphy is another popular target of side channel attacks, tographic libraries from a long list of vulnerabilities re- as demonstrated in 2005 by Bernstein [17] (and later gardless of whether the library is executed in VMs or in [20, 28, 36]). He was able to recover an AES key due natively. Therefore, it is crucial to use the most recent to micro-architectural timing variations in the cache. version of the cryptographic libraries where most of the Time leakage in branch prediction units give rise to discovered vulnerabilities have been already mitigated another class of side channel attacks as demonstrated via series of patches. Using an outdated cryptographic by Acıiçmez et al. where the authors exploited key library renders the server vulnerable with potentially dependent branches in a RSA computation of Open- devastating consequences. Good examples of recently SSL [13–15]. Recently B.B. Brumley and Tuveri [21] outdated cryptographic libraries are the ones suscep- demonstrated that the ladder computation in the pop- tible to Lucky Thirteen and the infamous Heartbleed ular ECDSA implementation of OpenSSL 0.9.8o is vul- attacks. In 2013, AlFardan et al. discovered that most nerable to timing attacks by extracting the private key cryptographic libraries were vulnerable to a padding or- used in a TLS handshake. acle attack that they named Lucky 13 attack [27]. The Until fairly recently, the common belief was that attack was able to recover the messages sent in TLS con- side-channel attacks were not realistic in the cloud set- nections by just looking at the time difference caused ting due to the level of access required to the cloud by invalid padding in digest operations. Although they server, e.g. control of process execution and more specif- showed only results in OpenSSL and GnuTLS, most of ically the difficulty in co-locating the attack process on the cryptographic libraries were affected by it. Patches the machine executing the victim’s process. This belief were released immediately by library developers. But us- was overturned in 2009 by Ristenpart et al. [39] who ing a non-patched version of any of these libraries would demonstrated that it is possible to solve the co-residency still leave the door open to this MEE attack. problem and extract sensitive data across VMs. Using In 2014, Neel Mehta from the Google security team the Amazon Elastic Compute Cloud (EC2) service as discovered a dangerous security bug called the Heart- a case study, Ristenpart et al. demonstrated that it is bleed bug in the popular OpenSSL cryptographic li- possible to identify when an attacker VM is co-located brary [4]. In a nutshell, the Heartbleed vulnerability on the same server with a potential victim and therefore allows a malicious attacker to read more data in the using the same hardware as the attacker VM. The work victim’s memory than it should, exposing sensitive in- further shows that—once co-located—cache contention formation like secret keys. The attack quickly became between the VMs can be exploited to recover key strokes popular in the media, and caused grave concern among across VM boundaries. By solving the co-location prob- security researchers for such a simple yet severe vulner- lem, this initial result fueled further research in Cross- ability to go undetected for many years. The cybersecu- VM side-channel attacks. Zhang et al. [53] utilized a rity columnist Joseph Steinberg argued that the Heart- cache side channel attack implemented across Xen VMs bleed bug is the worst vulnerability found since com- to recover an ElGamal decryption key from a victim mercial traffic began to flow on internet. Indeed, 17% of VM. The authors applied a hidden Markov model to supposedly secure web servers were found to be vulner- process the noisy but high-resolution information across able to the attack. Soon after instances of Heartbleed VMs. Shortly thereafter, Yarom and Falkner showed attack were discovered in the wild. For instance, the in [51] that RSA is also vulnerable, as well as ECDSA, Canada Revenue Agency reported the theft of 900 so- as shown by Yarom and Benger in [50]. Both attacks use cial security numbers [23]. Most of the websites patched the Flush+Reload technique that exploits the shared L3 the bug within days of its release, but it remains unclear cache. It is important to note that since the L3 cache is whether the vulnerability has been exploited before its shared among cores, the attack works even if the victim public announcement. It is believed that some attack- and the attack processes are located on different cores. ers might have been exploiting the vulnerability for five At the system level, another significant consequence months before Mehta’s discovery. of these new high resolution cache attacks is that they The Heartbleed vulnerability presents a striking ex- exposed new vulnerabilities in popular cryptographic li- ample on the severe consequences of using an outdated braries such as OpenSSL, which were previously consid- cryptographic library and a striking example of how ered secure. This forced the cryptographic library devel- people ignore up-to-date software. One month after the opers to fix their implementations and release patches Heartbleed bug was discovered, 300k of 600k systems Know Thy Neighbor: Crypto Library Detection in Cloud 3 were patched [43]. But the month after that only 9k – Our results imply that a co-located VM can discover additional systems were patched leaving the remaining use of outdated vulnerable versions of a library; 300k systems still vulnerable.
Recommended publications
  • Effective Cryptography What’S Wrong with All These Crypto Apis?
    Effective Cryptography What’s Wrong With All These Crypto APIs? Thorsten Groetker, CTO Utimaco, Inc. Utimaco IS Business Unit· Aachen, Germany · ©2015 Page 1 Outline § What I mean by Effective Cryptography § Crypto APIs § Security § Ease of Use § Runtime Performance § Predictions § CryptoScript in a Nutshell § Outlook Utimaco IS Business Unit· Aachen, Germany · ©2015 Page 2 Effective Cryptography Definition in a Nutshell Cryptography is effective if it is Li lingues es membres del sam familie. Lor separat existentie es 1. Secure unJCE/JCA myth. Por scientie, musica , sport etc, litot li sam vocabular. Li lingues differe solmen in li grammaticaOpenSSL, li pronunciation e li pluEVP commun vocabules. Omnicos directe al desirabilite de un nov lingua franca: On refusa continuar payar custosi traductores. At solmen va esser necessi 2. Efficient far uniform grammaticaPKCS#11, pronunciation e plu sommun paroles. Ma quande lingues coalesce, li grammatica del resultant lingue es plu CAPIsimplic e regulari quam ti del coalescent lingues. Li nov lingua CNG a. Time to Result franca va esser plu simplic e regulari quam li existent Bouncy linguesCastle. I b. Performance What’s wrong with all these crypto APIs? (Focused on Hardware Security Modules) Utimaco IS Business Unit· Aachen, Germany · ©2015 Page 3 Problem #1: Security PKCS#11 § Numerous key extraction attacks known § Jolyon Clulow “On the Security of PKCS#11” § Tookan project (e.g., “Attacking and Fixing PKCS#11 Security Tokens”) § CVE entries (not necessarily sporting “PKCS#11” in the text)
    [Show full text]
  • Using Frankencerts for Automated Adversarial Testing of Certificate
    Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations Chad Brubaker ∗ y Suman Janay Baishakhi Rayz Sarfraz Khurshidy Vitaly Shmatikovy ∗Google yThe University of Texas at Austin zUniversity of California, Davis Abstract—Modern network security rests on the Secure Sock- many open-source implementations of SSL/TLS are available ets Layer (SSL) and Transport Layer Security (TLS) protocols. for developers who need to incorporate SSL/TLS into their Distributed systems, mobile and desktop applications, embedded software: OpenSSL, NSS, GnuTLS, CyaSSL, PolarSSL, Ma- devices, and all of secure Web rely on SSL/TLS for protection trixSSL, cryptlib, and several others. Several Web browsers against network attacks. This protection critically depends on include their own, proprietary implementations. whether SSL/TLS clients correctly validate X.509 certificates presented by servers during the SSL/TLS handshake protocol. In this paper, we focus on server authentication, which We design, implement, and apply the first methodology for is the only protection against man-in-the-middle and other large-scale testing of certificate validation logic in SSL/TLS server impersonation attacks, and thus essential for HTTPS implementations. Our first ingredient is “frankencerts,” synthetic and virtually any other application of SSL/TLS. Server authen- certificates that are randomly mutated from parts of real cer- tication in SSL/TLS depends entirely on a single step in the tificates and thus include unusual combinations of extensions handshake protocol. As part of its “Server Hello” message, and constraints. Our second ingredient is differential testing: if the server presents an X.509 certificate with its public key.
    [Show full text]
  • Libressl Presentatie2
    Birth of LibreSSL and its current status Frank Timmers Consutant, Snow B.V. Background What is LibreSSL • A fork of OpenSSL 1.0.1g • Being worked on extensively by a number of OpenBSD developers What is OpenSSL • OpenSSL is an open source SSL/TLS crypto library • Currently the de facto standard for many servers and clients • Used for securing http, smtp, imap and many others Alternatives • Netscape Security Services (NSS) • BoringSSL • GnuTLS What is Heartbleed • Heartbleed was a bug leaking of private data (keys) from both client and server • At this moment known as “the worst bug ever” • Heartbeat code for DTLS over UDP • So why was this also included in the TCP code? • Not the reason to create a fork Why did this happen • Nobody looked • Or at least didn’t admit they looked Why did nobody look • The code is horrible • Those who did look, quickly looked away and hoped upstream could deal with it Why was the code so horrible • Buggy re-implementations of standard libc functions like random() and malloc() • Forces all platforms to use these buggy implementations • Nested #ifdef, #ifndefs (up to 17 layers deep) through out the code • Written in “OpenSSL C”, basically their own dialect • Everything on by default Why was it so horrible? crypto_malloc • Never frees memory (Tools like Valgrind, Coverity can’t spot bugs) • Used LIFO recycling (Use after free?) • Included debug malloc by default, logging private data • Included the ability to replace malloc/free at runtime #ifdef trees • #ifdef, #elif, #else trees up to 17 layers deep • Throughout the complete source • Some of which could never be reached • Hard to see what is or not compiled in 1.
    [Show full text]
  • Hannes Tschofenig
    Securing IoT applications with Mbed TLS Hannes Tschofenig Part#2: Public Key-based authentication March 2018 © 2018 Arm Limited Munich Agenda • For Part #2 of the webinar we are moving from Pre-Shared Secrets (PSKs) to certificated-based authentication. • TLS-PSK ciphersuites have • great performance, • low overhead, • small code size. • Drawback is the shared key concept. • Public key cryptography was invented to deal with this drawback (but itself has drawbacks). 2 © 2018 Arm Limited Public Key Infrastructure and certificate configuration © 2018 Arm Limited Public Key Infrastructure Various PKI deployments in existence Structure of our PKI The client has to store: self-signed • Client certificate plus corresponding private key. CA cert • CA certificate, which serves as the trust anchor. The server has to store: Signed by CA Signed by CA • Server certificate plus corresponding private key. Client cert Server cert (Some information for authenticating the client) 4 © 2018 Arm Limited Generating certificates (using OpenSSL tools) • When generating certificates you will be prompted to enter info. You are about to be asked to enter information that will be • The CA cert will end up in the trust incorporated into your certificate request. What you are about to enter is what is called a Distinguished anchor store of the client. Name or a DN. There are quite a few fields but you can leave some blank For some fields there will be a default value, • The Common Name used in the server If you enter '.', the field will be left blank. ----- cert needs to be resolvable via DNS Country Name (2 letter code) [AU]:.
    [Show full text]
  • Sizzle: a Standards-Based End-To-End Security Architecture for the Embedded Internet
    Sizzle: A Standards-based end-to-end Security Architecture for the Embedded Internet Vipul Gupta, Matthew Millard,∗ Stephen Fung*, Yu Zhu*, Nils Gura, Hans Eberle, Sheueling Chang Shantz Sun Microsystems Laboratories 16 Network Circle, UMPK16 160 Menlo Park, CA 94025 [email protected], [email protected], [email protected] [email protected], {nils.gura, hans.eberle, sheueling.chang}@sun.com Abstract numbers of even simpler, more constrained devices (sen- sors, home appliances, personal medical devices) get con- This paper introduces Sizzle, the first fully-implemented nected to the Internet. The term “embedded Internet” is end-to-end security architecture for highly constrained em- often used to refer to the phase in the Internet’s evolution bedded devices. According to popular perception, public- when it is invisibly and tightly woven into our daily lives. key cryptography is beyond the capabilities of such devices. Embedded devices with sensing and communication capa- We show that elliptic curve cryptography (ECC) not only bilities will enable the application of computing technolo- makes public-key cryptography feasible on these devices, it gies in settings where they are unusual today: habitat mon- allows one to create a complete secure web server stack itoring [26], medical emergency response [31], battlefield including SSL, HTTP and user application that runs effi- management and home automation. ciently within very tight resource constraints. Our small Many of these applications have security requirements. footprint HTTPS stack needs less than 4KB of RAM and For example, health information must only be made avail- interoperates with an ECC-enabled version of the Mozilla able to authorized personnel (authentication) and be pro- web browser.
    [Show full text]
  • Notices Openssl/Open SSL Project
    Notices The following notices pertain to this software license. OpenSSL/Open SSL Project This product includes software developed by the OpenSSL Project for use in the OpenSSL Toolkit (http://www.openssl.org/). This product includes cryptographic software written by Eric Young ([email protected]). This product includes software written by Tim Hudson ([email protected]). License Issues The OpenSSL toolkit stays under a dual license, i.e. both the conditions of the OpenSSL License and the original SSLeay license apply to the toolkit. See below for the actual license texts. Actually both licenses are BSD-style Open Source licenses. In case of any license issues related to OpenSSL please contact [email protected]. OpenSSL License: Copyright © 1998-2007 The OpenSSL Project. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: 1. Redistributions of source code must retain the copyright notice, this list of conditions and the following disclaimer. 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions, and the following disclaimer in the documentation and/or other materials provided with the distribution. 3. All advertising materials mentioning features or use of this software must display the following acknowledgment: “This product includes software developed by the OpenSSL Project for use in the OpenSSL Toolkit (http://www.openssl.org/)”. 4. The names “OpenSSL Toolkit” and “OpenSSL Project” must not be used to endorse or promote products derived from this software without prior written permission. For written permission, please contact [email protected].
    [Show full text]
  • Arxiv:1911.09312V2 [Cs.CR] 12 Dec 2019
    Revisiting and Evaluating Software Side-channel Vulnerabilities and Countermeasures in Cryptographic Applications Tianwei Zhang Jun Jiang Yinqian Zhang Nanyang Technological University Two Sigma Investments, LP The Ohio State University [email protected] [email protected] [email protected] Abstract—We systematize software side-channel attacks with three questions: (1) What are the common and distinct a focus on vulnerabilities and countermeasures in the cryp- features of various vulnerabilities? (2) What are common tographic implementations. Particularly, we survey past re- mitigation strategies? (3) What is the status quo of cryp- search literature to categorize vulnerable implementations, tographic applications regarding side-channel vulnerabili- and identify common strategies to eliminate them. We then ties? Past work only surveyed attack techniques and media evaluate popular libraries and applications, quantitatively [20–31], without offering unified summaries for software measuring and comparing the vulnerability severity, re- vulnerabilities and countermeasures that are more useful. sponse time and coverage. Based on these characterizations This paper provides a comprehensive characterization and evaluations, we offer some insights for side-channel of side-channel vulnerabilities and countermeasures, as researchers, cryptographic software developers and users. well as evaluations of cryptographic applications related We hope our study can inspire the side-channel research to side-channel attacks. We present this study in three di- community to discover new vulnerabilities, and more im- rections. (1) Systematization of literature: we characterize portantly, to fortify applications against them. the vulnerabilities from past work with regard to the im- plementations; for each vulnerability, we describe the root cause and the technique required to launch a successful 1.
    [Show full text]
  • Securing Mysql with a Focus on SSL
    Securing MySQL! With a Focus on SSL http://www.yassl.com (206) 369-4800 About Me Chris Conlon So#ware Developer at yaSSL Bozeman, MT © Copyright 2011 FishEyeGuyPhotography © Copyright 2011 yaSSL SSL Statistics Ivan Ristic: Internet SSL Survey 2010 http://www.ssllabs.com SSL Survey 2010 Valid SSL – 0.42% •" Sample of 119 Million Domain Names 0.60%, Certificate Name Matches 0.42%, Counting only valid ones Alexa Top 1M •" Alexa Top 1M Sites Use SSL – 12% 120,000 Use SSL (12%) © Copyright 2011 yaSSL Presentation Outline Part I: MySQL Security 1." Common Attacks & Vulnerabilities 2." Good Security Practices for MySQL Part II: SSL/TLS 1." Overview of SSL and TLS 2." Configuring and Building MySQL with SSL 3." MySQL SSL Command Options 4." SSL Certificate Creation 5." Performance Comparison Part III: Additional Security Concerns 1." Data Storage and Encryption Part IV: Wrap-Up 1." Licensing 2." yaSSL 3." Conclusion © Copyright 2011 yaSSL MySQL Updates Part I Account Passwords Test Databases mysqld MySQL Security Privileges © Copyright 2011 yaSSL Common Attacks and Vulnerabilities Do we really need to secure our MySQL database? YES! MySQL is Susceptible to Many Attacks: - Basic Attacks (empty password, etc.) - SQL Injection Attacks - Known MySQL Bugs and Vulnerabilities - Trojanning MySQL © Copyright 2011 yaSSL Good Security Practices for MySQL A. Keeping MySQL Version Up to Date An easy way to stay better protected: - New MySQL Patches, Bug Fixes, etc. - You should take advantage of updates © Copyright 2011 yaSSL Good Security Practices for MySQL 'MySQL' Vulnerabili1es By Year cvedetails.com (nvd.nist.gov) 16 2000 14 2001 2002 11 2003 10 2004 9 2005 8 2006 7 2007 6 6 6 2008 5 2009 3 2010 2011 © Copyright 2011 yaSSL Good Security Practices for MySQL •" yaSSL Vulnerabilities affecting MySQL in the past: CVE-2005-3731 Certificate Chain Processing CVE-2008-0227 Denial of Service (crash) CVE-2008-0226 Allowed Execution of Arbitrary Code CVE-2009-4484 Allowed Execution of Arbitrary Code, Denial of Service Possible © Copyright 2011 yaSSL Good Security Practices for MySQL B.
    [Show full text]
  • Vetting SSL Usage in Applications with SSLINT
    2015 IEEE Symposium on Security and Privacy Vetting SSL Usage in Applications with SSLINT Boyuan He1, Vaibhav Rastogi2, Yinzhi Cao3, Yan Chen2, V.N. Venkatakrishnan4, Runqing Yang1, and Zhenrui Zhang1 1Zhejiang University 2Northwestern University 3Columbia University 4University of Illinois, Chicago [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] [email protected] Abstract—Secure Sockets Layer (SSL) and Transport Layer In particular, we ask the following research question: Is it Security (TLS) protocols have become the security backbone of possible to design scalable techniques that detect incorrect use the Web and Internet today. Many systems including mobile of APIs in applications using SSL/TLS libraries? This question and desktop applications are protected by SSL/TLS protocols against network attacks. However, many vulnerabilities caused poses the following challenges: by incorrect use of SSL/TLS APIs have been uncovered in recent • Defining and representing correct use. Given an SSL years. Such vulnerabilities, many of which are caused due to poor library, how do we model correct use of the API to API design and inexperience of application developers, often lead to confidential data leakage or man-in-the-middle attacks. In this facilitate detection? paper, to guarantee code quality and logic correctness of SSL/TLS • Analysis techniques for incorrect usage in software. applications, we design and implement SSLINT, a scalable, Given a representation of correct usage, how do we de- automated, static analysis system for detecting incorrect use sign techniques for analyzing programs to detect incorrect of SSL/TLS APIs.
    [Show full text]
  • How Secure Is Textsecure?
    How Secure is TextSecure? Tilman Frosch∗y, Christian Mainkay, Christoph Badery, Florian Bergsmay,Jorg¨ Schwenky, Thorsten Holzy ∗G DATA Advanced Analytics GmbH firstname.lastname @gdata.de f g yHorst Gortz¨ Institute for IT-Security Ruhr University Bochum firstname.lastname @rub.de f g Abstract—Instant Messaging has gained popularity by users without providing any kind of authentication. Today, many for both private and business communication as low-cost clients implement only client-to-server encryption via TLS, short message replacement on mobile devices. However, until although security mechanisms like Off the Record (OTR) recently, most mobile messaging apps did not protect confi- communication [3] or SCIMP [4] providing end-to-end con- dentiality or integrity of the messages. fidentiality and integrity are available. Press releases about mass surveillance performed by intelli- With the advent of smartphones, low-cost short-message gence services such as NSA and GCHQ motivated many people alternatives that use the data channel to communicate, to use alternative messaging solutions to preserve the security gained popularity. However, in the context of mobile ap- and privacy of their communication on the Internet. Initially plications, the assumption of classical instant messaging, fueled by Facebook’s acquisition of the hugely popular mobile for instance, that both parties are online at the time the messaging app WHATSAPP, alternatives claiming to provide conversation takes place, is no longer necessarily valid. secure communication experienced a significant increase of new Instead, the mobile context requires solutions that allow for users. asynchronous communication, where a party may be offline A messaging app that claims to provide secure instant for a prolonged time.
    [Show full text]
  • You Really Shouldn't Roll Your Own Crypto: an Empirical Study of Vulnerabilities in Cryptographic Libraries
    You Really Shouldn’t Roll Your Own Crypto: An Empirical Study of Vulnerabilities in Cryptographic Libraries Jenny Blessing Michael A. Specter Daniel J. Weitzner MIT MIT MIT Abstract A common aphorism in applied cryptography is that cryp- The security of the Internet rests on a small number of open- tographic code is inherently difficult to secure due to its com- source cryptographic libraries: a vulnerability in any one of plexity; that one should not “roll your own crypto.” In par- them threatens to compromise a significant percentage of web ticular, the maxim that complexity is the enemy of security traffic. Despite this potential for security impact, the character- is a common refrain within the security community. Since istics and causes of vulnerabilities in cryptographic software the phrase was first popularized in 1999 [52], it has been in- are not well understood. In this work, we conduct the first voked in general discussions about software security [32] and comprehensive analysis of cryptographic libraries and the vul- cited repeatedly as part of the encryption debate [26]. Conven- nerabilities affecting them. We collect data from the National tional wisdom holds that the greater the number of features Vulnerability Database, individual project repositories and in a system, the greater the risk that these features and their mailing lists, and other relevant sources for eight widely used interactions with other components contain vulnerabilities. cryptographic libraries. Unfortunately, the security community lacks empirical ev- Among our most interesting findings is that only 27.2% of idence supporting the “complexity is the enemy of security” vulnerabilities in cryptographic libraries are cryptographic argument with respect to cryptographic software.
    [Show full text]
  • Beremiz Documentation Release 1.1Rc1
    Beremiz Documentation Release 1.1rc1 Beremiz Documentation Authors Jun 18, 2018 Contents 1 Project overview 3 2 Beremiz’s user manual 5 2.1 Beremiz installation...........................................5 2.2 Start a new automation project......................................6 2.3 Write your own POUs..........................................6 2.4 Build PLC executable binary.......................................6 2.5 Beremiz and Beremiz_service connectors................................6 2.6 Trace POUs instances variable......................................8 3 IEC 61131-3 9 4 PLCopen TC6 11 i ii Beremiz Documentation, Release 1.1rc1 Contents: Contents 1 Beremiz Documentation, Release 1.1rc1 2 Contents CHAPTER 1 Project overview In order to target the widest possible range of programmable devices and keep efficient, Beremiz use C code as an intermediate language. To be executed, C needs to be compiled. GCC serve that purpose perfectly. PLC program is expressed in languages defined in IEC-61131, including graphical languages. Thanks to PLCopen TC2, those graphical languages have a standardised representation, in XML. To be continued. 3 Beremiz Documentation, Release 1.1rc1 4 Chapter 1. Project overview CHAPTER 2 Beremiz’s user manual Contents: 2.1 Beremiz installation 2.1.1 Windows Download installer, install. 2.1.2 Linux Pre-requisites: # Ubuntu/Debian : sudo apt-get install python-wxgtk2.8 pyro mercurial sudo apt-get install build-essential bison flex python-numpy python-nevow Prepare: mkdir~/Beremiz cd~/Beremiz Get Source Code: cd~/Beremiz hg clone http://dev.automforge.net/beremiz hg clone http://dev.automforge.net/plcopeneditor hg clone http://dev.automforge.net/matiec Build MatIEC compiler: 5 Beremiz Documentation, Release 1.1rc1 cd~/Beremiz/matiec ./configure make Build CanFestival (optional): # Only needed for CANopen support.
    [Show full text]