Doctor of Philosophy

dissertationToday's smartphones house private and confidential data ubiquitously. Mobile apps running on the devices can leak sensitive information by accident or intentionally. To understand application behaviors before running a program, we need to statically analyze it, tracking what data are accessed, where sensitive data ow, and what operations are performed with the data. However, automated identification of malicious behaviors in Android apps is challenging: First, there is a primary challenge in analyzing object-oriented programs precisely, soundly and efficiently, especially in the presence of exceptions. Second, there is an Android-specific challenge|asynchronous execution of multiple entry points. Third, the maliciousness of any given behavior is application-dependent and subject to human judgment. In this work, I develop a generic, highly precise static analysis of object-oriented code with multiple entry points, on which I construct an eective malware identification system with a human in the loop. Specically, I develop a new analysis-pushdown exception-ow analysis, to generalize the analysis of normal control flows and exceptional flows in object-oriented programs. To rene points-to information, I generalize abstract garbage collection to object-oriented programs and enhance it with liveness analysis for even better precision. To tackle Android-specic challenges, I develop multientry point saturation to approximate the eect of arbitrary asynchronous events. To apply the analysis techniques to security, I develop a static taint- ow analysis to track and propagate tainted sensitive data in the push-down exception-flow framework. To accelerate the speed of static analysis, I develop a compact and ecient encoding scheme, called G odel hashes, and integrate it into the analysis framework. All the techniques are realized and evaluated in a system, named AnaDroid. AnaDroid is designed with a human in the loop to specify analysis conguration, properties of interest and then to make the nal judgment and identify where the maliciousness is, based on analysis results. The analysis results include control- ow graphs highlighting suspiciousness, permission and risk-ranking reports. The experiments show that AnaDroid can lead to precise and fast identication of common classes of Android malware

Safe and automatic live update

Tanenbaum, A.S. [Promotor

Emerging Technologies, Environment and Research for Sustainable Aquaculture

Traditional aquaculture and fishery systems have caused a series of ecological and environmental problems. For the purpose of sustainable development, new technologies and policies are highly needed in the field of aquaculture and fisheries. This book mainly focuses on two topics, technologies and environment, and sustainable aquaculture. It is expected that this book can help researchers and technicians in the aquaculture industry to get more new ideas and techniques

Nonintrusive Cloning Garbage Collection with Stock Operating System Support

It is well accepted that Garbage Collection simplifies programming, promotes modularity, and reduces development effort. However it is commonly believed that these advantages do not counteract the price that has to be paid: excesive overheads, possible long pause times, and the need of modifying existing code. Even though there exist publically available garbage collectors that can be used in existing programs, they do not guarantee short pauses, and some modification of the application using them is still required. In this paper we describe a snapshot-atbeginning concurrent garbage collector algorithm and its implementation. This algorithm is less intrusive than other garbage collecting algorithms, guarantees short pauses, and can be easily implemented in stock unix like operating systems. Our results show that our collector is faster than other implementations that use user-level dirty bits, and is very competitive with explicit deallocation. These advantages are especially true on m..

Selected Papers from the 5th International Electronic Conference on Sensors and Applications

This Special Issue comprises selected papers from the proceedings of the 5th International Electronic Conference on Sensors and Applications, held on 15–30 November 2018, on sciforum.net, an online platform for hosting scholarly e-conferences and discussion groups. In this 5th edition of the electronic conference, contributors were invited to provide papers and presentations from the field of sensors and applications at large, resulting in a wide variety of excellent submissions and topic areas. Papers which attracted the most interest on the web or that provided a particularly innovative contribution were selected for publication in this collection. These peer-reviewed papers are published with the aim of rapid and wide dissemination of research results, developments, and applications. We hope this conference series will grow rapidly in the future and become recognized as a new way and venue by which to (electronically) present new developments related to the field of sensors and their applications

Senate journal, 7 January 1998.

Titles and imprints vary; Some volumes include miscellaneous state documents and reports; Rules of the Senat

Laboratory directed research and development annual report. Fiscal year 1994

The Department of Energy Order DOE 5000.4A establishes DOE`s policy and guidelines regarding Laboratory Directed Research and Development (LDRD) at its multiprogram laboratories. This report represents Pacific Northwest Laboratory`s (PNL`s) LDRD report for FY 1994. During FY 1994, 161 LDRD projects were selected for support through PNL`s LDRD project selection process. Total funding allocated to these projects was $13.7 million. Consistent with the Mission Statement and Strategic Plan provided in PNL`s Institutional Plan, the LDRD investments are focused on developing new and innovative approaches in research related to our {open_quotes}core competencies.{close_quotes} Currently, PNL`s core competencies have been identified as integrated environmental research; process science and engineering; energy systems development. In this report, the individual summaries of LDRD projects (presented in Section 1.0) are organized according to these core competencies. The largest proportion of Laboratory-level LDRD funds is allocated to the core competency of integrated environmental research. Projects within the three core competency areas were approximately 91.4$35K or less. The projects described in this report represent PNL`s investment in its future and are vital to maintaining the ability to develop creative solutions for the scientific and technical challenges faced by DOE and the nation. The report provides an overview of PNL`s LDRD program, the management process used for the program, and project summaries for each LDRD project

Reports to the President

A compilation of annual reports for the 1986-1987 academic year, including a report from the President of the Massachusetts Institute of Technology, as well as reports from the academic and administrative units of the Institute. The reports outline the year's goals, accomplishments, honors and awards, and future plans