Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Computer Engineering
Organize Events Mobile Application, Thakshak Mani Chandra Reddy Gudimetla
Organize Events Mobile Application, Thakshak Mani Chandra Reddy Gudimetla
Electronic Theses, Projects, and Dissertations
In a big organization there are many events organized every day. To know about the events, we typically need to check an events page, rely on flyers or on distributed pamphlets or through word of mouth. To register for an event a user now a days typically does this online which involves inputting user details. At the event, the user either signs a sheet of paper or enters credentials in a web page loaded on a tablet or other electronic device. Typically, this is a time-consuming process with many redundancies like entering user details every time the user wants to …
Assured Android Execution Environments, Brandon P. Froberg
Assured Android Execution Environments, Brandon P. Froberg
Theses and Dissertations
Current cybersecurity best practices, techniques, tactics and procedures are insufficient to ensure the protection of Android systems. Software tools leveraging formal methods use mathematical means to assure both a design and implementation for a system and these methods can be used to provide security assurances. The goal of this research is to determine methods of assuring isolation when executing Android software in a contained environment. Specifically, this research demonstrates security properties relevant to Android software containers can be formally captured and validated, and that an implementation can be formally verified to satisfy a corresponding specification. A three-stage methodology called "The …
Using Static Analysis And Dalvik Bytecode On Android Compass Applications To Detect Operational Anomalies, Arti J. Tripathi
Using Static Analysis And Dalvik Bytecode On Android Compass Applications To Detect Operational Anomalies, Arti J. Tripathi
Senior Projects Spring 2018
The focus of this paper is the functionality of Android applications and the detection of functional anomalies though a basic static analysis approach. The intention of this research is analyzing applications without running them and detecting how application behavior might correlate with method call patterns. We will focus on simple free compass applications because their ostensible simplicity will make high variation in methods calls an interesting phenomenon. We employ clustering algorithms and other statistical methods to isolate a particularly unusual collection of applications and then perform a qualitative analysis of these applications to discover any interesting common operational behavior or …