Select a calendar:
Filter April Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for April 05, 2016
-
CS Colloquium: Chang Liu (University of Maryland, College Park) - Secure Cloud Computing - A Programming Language Approach
Tue, Apr 05, 2016 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Chang Liu, University of Maryland, College Park
Talk Title: Secure Cloud Computing - A Programming Language Approach
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium
The big data era has dramatically transformed our lives; however, security incidents such as data breaches put sensitive data (e.g. photos, identities, genomes) at risk. To protect users' data privacy, there is a growing trend to build secure cloud computing systems, which enables computation over two or more parties' sensitive data, while revealing nothing more than the results to the participating parties. Conceptually, privacy-preserving computing systems leverage cryptographic techniques (e.g. secure multiparty computation) and trusted hardware (e.g. secure processors) to instantiate a "secure" abstract machine consisting of a CPU and encrypted memory, so that an adversary cannot learn information through either the computation within the CPU or the data in the memory. Unfortunately, evidence has shown that, side channels (e.g. memory accesses, timing, and termination) in such a "secure" abstract machine may potentially leak highly sensitive information including cryptographic keys that form the root of trust for the secure systems.
I conduct synergistic research to bridge cryptography and programming language techniques to address
this problem. My research broadly expanded the investigation of a research direction called trace oblivious computation, where I employ programming language techniques to prevent side channel information leakage. In this talk, I will discuss my work on two promising approaches, i.e. secure-processor and secure multiparty computation, toward building a secure cloud computing system. I will focus on both theoretical development to enforce formal security, as well as practical system building to yield the state-of-the-art results.
Biography: Chang Liu is a PhD candidate in the Department of Computer Science at University of Maryland, College Park, where he works in the Maryland Cybersecurity Lab with his advisors Michael Hicks and Elaine Shi. His work broadly expanded the investigation of the research direction of trace oblivious computation, which made significant impact on trusted hardware-based secure computation and cryptography-based secure multiparty computation. He is the recipient of John Vlissides Award (2015) and University of Maryland's Outstanding Early Graduate Student Award (2014). His papers has received a NSA Best Scientific Cybersecurity Paper Award (2013), the Best Paper Award of ASPLOS (2015), and 1st Best Paper Award in Applied Cyber Security Paper at CSAW (1st Place, 2015). His ObliVM system won the HLI Award for Secure Multiparty Computation in the iDash Secure Genomics Analysis Competition (2015).
Host: CS Department
Location: Olin Hall of Engineering (OHE) - 136
Audiences: Everyone Is Invited
Contact: Assistant to CS chair
-
CS Colloquium: Tien Nguyen (Iowa State University) -Program Analysis and Large-scale Code Mining for Software Quality
Tue, Apr 05, 2016 @ 04:00 PM - 05:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Tien Nguyen, Iowa State University
Talk Title: Program Analysis and Large-scale Code Mining for Software Quality
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium
Detecting and fixing software defects are important in developing reliable and high-quality software systems. Software defects are so prevalent and detrimental that they cost the US economy an estimated $59 billion annually. In this talk, I will present my research that develops advanced program analysis methods in combination with large-scale code mining and software analytics to support developers in the process of software maintenance, detecting and fixing software defects. I will present our cross-stage, variability-aware program analysis infrastructure for dynamic Web applications to support the detection and debugging of software defects in web development. The advanced techniques include output-oriented symbolic execution, variability-aware web code analysis, and multi-language, embedded code analysis. I will also present an integrated approach between program analysis and statistical learning to mine from a large-scale code repository infrastructure to support important software engineering tasks including inferring and checking the specifications of software libraries, migrating code from one platform in a programming language to another, and detecting software vulnerabilities in API usages with pattern mining and anomaly detection.
Biography: Dr. Tien N. Nguyen is currently an Associate Professor in both Electrical and Computer Engineering Department and Computer Science Department at Iowa State University (ISU). He is currently serving as the Chair of Software Systems Area. Since joining ISU in 2005, his research interests include program analysis, mining large-scale software repositories, and software maintenance and evolution. Since 2009, he has been awarded 3 ACM SIGSOFT Distinguished Paper Awards, one Best Paper Award, and one best ICSE Formal Research Demonstration Award at the top-tier, international software engineering conferences including ICSE, FSE, and ASE. His research has been supported by 14 external grants including 8 NSF grants from US National Science Foundation (PI on 5 of them), and several grants from industry including ABB Software Research Grant Program, Litton Industry, IBM research, and Agile Alliance Academic Program. He will be serving as the Program Co-Chair of the 32nd ACM/IEEE International Conference on Automated Software Engineering (ASE 2017) and the Co-Chair of the Formal Research Demo Track at the 40th International Conference on Software Engineering (ICSE 2018). He has served on Program Committees and Program Boards of top-tier software engineering conferences including ICSE, FSE, ASE, OOPSLA, ECOOP, and ICSME. He also served as the Chair of Formal Research Demo Track at ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2010). He was awarded the Litton Professorship Medallion Award from Iowa State University in 2008 for young faculty who exhibits excellent leadership in research and teaching. He is one of the key persons who have first contributed to the ABET-accredited B.Sc. degree program in Software Engineering at ISU.
Host: CS Department
More Info: https://bluejeans.com/514828239
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Contact: Assistant to CS chair
Event Link: https://bluejeans.com/514828239
