L4Android: a generic operating system framework for secure smartphones

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Security and Privacy in Smartphones and Mobile Devices

• Publication date

  2011-10-17

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2046614.2046623
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Information and Communications Security

  2011cited by this paper
• A Study of Android Application Security

  2011cited by this paper
• MockDroid: trading privacy for application functionality on smartphones

  2011cited by this paper
• Detecting Kernel-Level Rootkits Using Data Structure Invariants

  2011cited by this paper
• pBMDS: a behavior-based malware detection system for cellphone devices

  2010cited by this paper
• The VMware mobile virtualization platform: is that a hypervisor in your pocket?

  2010cited by this paper
• TaintDroid

  2010cited by this paper
• Paranoid Android: versatile protection for smartphones

  2010cited by this paper
• Rootkits on smart phones: attacks, implications and opportunities

  2010cited by this paper
• SEIP: Simple and Efficient Integrity Protection for Open Mobile Platforms

  2010cited by this paper
• A methodology for empirical analysis of permission-based security models and its application to android

  2010cited by this paper
• Taming subsystems: capabilities as universal resource access control in L4

  2009cited by this paper
• seL4: formal verification of an OS kernel

  2009cited by this paper
• Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones

  2008cited by this paper
• Subscriber Authentication in Cellular Networks with Trusted Virtual SIMs

  2008cited by this paper
• Measuring integrity on mobile phone systems

  2008cited by this paper
• Hypervisor Support for Identifying Covertly Executing Binaries

  2008cited by this paper
• On the Deployment of Mobile Trusted Modules

  2007cited by this paper
• Mobile Services for Near Field Communication

  2007cited by this paper
• A comparison of software and hardware techniques for x86 virtualization

  2006influential reference
• A Choices Hypervisor on the ARM Architecture

  2006influential reference
• Using Labeling to Prevent Cross-Service Attacks Against Smart Phones

  2006cited by this paper
• QEMU, a Fast and Portable Dynamic Translator

  2005cited by this paper
• A Nitpicker’s guide to a minimal-complexity secure GUI

  2005cited by this paper
• Intel virtualization technology

  2005influential reference
• TrustZone : Integrated Hardware and Software Security

  2004influential reference
• Secure coprocessor-based intrusion detection

  2002cited by this paper
• Computer Security: Art and Science

  2002influential reference
• CenterTrack: An IP Overlay Network for Tracking DoS Floods

  2000cited by this paper
• The performance of μ-kernel-based systems

  1997cited by this paper
• On micro-kernel construction

  1995cited by this paper
• Formal requirements for virtualizable third generation architectures

  1974influential reference

• Exploring the Impact of Slang Usage Among Students on WhatsApp: A Dig-ital Linguistic Analysis

  2022cites this paper
• LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications

  2022cites this paper
• An Overview of Microkernel Based Operating Systems

  2021cites this paper
• From Hardware to Operating System: A Static Measurement Method of Android System Based on TrustZone

  2020cites this paper
• Android Malware Detection through Machine Learning Techniques: A Review

  2020cites this paper
• Assessment of Honeypots

  2020cites this paper
• Web Communication Analysis of Android Applications

  2019cites this paper
• Permission Watcher Tool: a sandbox tool based static and Dynamic analysis for Android Apps

  2019cites this paper
• A Demographic Perspective of Smartphone Security and Its Redesigned Notifications

  2019cites this paper
• Countermeasures for timing-based side-channel attacks against shared, modern computing hardware

  2019cites this paper
• iCore: continuous and proactive extrospection on multi-core IoT devices

  2019cites this paper
• Analytical Overview on Secure Information Flow in Android Systems: Protecting Private Data Used by Smartphone Applications

  2019cites this paper
• Why Does this App Need this Data? Automatic Tightening of Resource Access

  2019cites this paper
• Identifying cyber threats to mobile-IoT applications in edge computing paradigm

  2018cites this paper
• An Isolated Data Encryption Experiment Method by Utilizing Baseband Processors

  2018cites this paper
• Android User Privacy Preserving Through Crowdsourcing

  2018cites this paper
• Assessment of Honeypots: Issues, Challenges and Future Directions

  2018cites this paper
• RanDroid: Structural Similarity Approach for Detecting Ransomware Applications in Android Platform

  2018cites this paper
• Are Timing-Based Side-Channel Attacks Feasible in Shared, Modern Computing Hardware?

  2018cites this paper
• Smart4Gap: Factors that Influence Smartphone Security Decisions in Developing and Developed Countries

  2018cites this paper
• Mobile botnets meet social networks: design and analysis of a new type of botnet

  2018cites this paper
• Smartphone User Privacy Preserving through Crowdsourcing

  2018cites this paper
• Implicit Remote Attestation for Microkernel-based Embedded Systems

  2018cites this paper
• Study of Various Generation and Bandwidth Sharing Issues in Mobile Network

  2017cites this paper
• Amobile App Permission Recommendation for Naïve Users by Using Machine Learning Approaches

  2017cites this paper
• Droid Mood Swing (DMS): Automatic Security Modes Based on Contexts

  2017cites this paper
• FLOUDS: A Succinct File System Structure

  2017cites this paper
• Exploring new attack vectors for the exploitation of smartphones

  2017cites this paper
• Permission recommender system for Android

  2017cites this paper
• Lateral Thinking for Trustworthy Apps

  2017cites this paper
• Efficient Permission-Aware Analysis of Android Apps

  2017cites this paper
• A secure system architecture for measuring instruments under legal control

  2017cites this paper
• RoppDroid: Robust permission re-delegation prevention in Android inter-component communication

  2017cites this paper
• A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software

  2017cites this paper
• CLOAK: A Stream Cipher Based Encryption Protocol for Mobile Cloud Computing

  2017cites this paper
• Mitigating and Resolving Performance Isolation Issues of PCIe Passthrough and SR-IOV in Multi-Core Virtualization

  2017cites this paper
• Bio-inspired Hybrid Intelligent Method for Detecting Android Malware

  2016cites this paper
• Using Component Isolation to Increase Trust in Mobile Devices

  2016cites this paper
• How we effectively manage virtualization in Mobile Cloud Computing (MCC)

  2016cites this paper
• A Methodology for Live Forensic Acquisition in Secure Domain Based on Domain Separation Technology

  2016cites this paper
• Efficient and Context-Aware Privacy Leakage Confinement

  2016cites this paper
• Finding Bugs in Android Application using Genetic Algorithm and Apriori Algorithm

  2016cites this paper
• VMXHAL: A Versatile Virtualization Framework for Embedded Systems

  2016cites this paper
• Smartphone application architecture and security for patient vital signs sensors and indicators

  2016cites this paper
• Research and Implementation Key Technology of Security Mobile Office

  2016cites this paper
• SKEE: A lightweight Secure Kernel-level Execution Environment for ARM

  2016cites this paper
• AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems

  2016cites this paper
• AppShield: Enabling Multi-entity Access Control Cross Platforms for Mobile App Management

  2016cites this paper
• SecureDom: secure mobile-sensitive information protection with domain separation

  2016cites this paper
• SAM: A secure anti-malware framework for the smartphone operating systems

  2016cites this paper
• Don't Just BYOD, Bring-Your-Own-App Too! Protection via Virtual Micro Security Perimeters

  2016cites this paper
• Zonedroid: control your droid through application zoning

  2016cites this paper
• Research on Android Access Control Based on Isolation Mechanism

  2016cites this paper
• A New Protection for Android Applications

  2016cites this paper
• Android fine-grained permission control system with real-time expert recommendations

  2016cites this paper
• Towards Modular and Flexible Access Control on Smart Mobile Devices

  2016cites this paper
• FLoW-Linux: Virtualization distribution scheme for fault tolerant and system enhancement

  2016cites this paper
• Os Verification-a Survey as a Source of Future Challenges

  2015cites this paper
• Using Provenance Patterns to Vet Sensitive Behaviors in Android Apps

  2015cites this paper
• Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

  2015cites this paper
• A Virtualization Solution for BYOD With Dynamic Platform Context Switching

  2015cites this paper
• Decomposable Trust for Android Applications

  2015cites this paper
• JoKER: Trusted Detection of Kernel Rootkits in Android Devices via JTAG Interface

  2015cites this paper
• SplitDroid: Isolated Execution of Sensitive Components for Mobile Applications

  2015cites this paper
• A Secure System Architecture for Measuring Instruments in Legal Metrology

  2015cites this paper
• A Malware Detection System For Android

  2015cites this paper
• Virtualization-Based Approaches for Mitigation of Malware Threats

  2015cites this paper
• Securing Android

  2015cites this paper
• Functional Considerations in Military-Grade Security Platform Using a Mobile Hypervisor

  2015cites this paper
• Research on SQLite Database Encryption Technology in Instant Messaging Based on Android Platform

  2015cites this paper
• A secure software framework for Measuring Instruments in legal metrology

  2015cites this paper
• Graphical User Interface for Virtualized Mobile Handsets

  2015cites this paper
• Performance based Analysis of Cloudlet Architectures in Mobile Cloud Computing

  2015cites this paper
• Mobile App Stores

  2015cites this paper
• A Survey of Android Security Threats and Defenses

  2015cites this paper
• Boxify: Full-fledged App Sandboxing for Stock Android

  2015cites this paper
• Dude, ask the experts!: Android resource access permission recommendation with RecDroid

  2015cites this paper
• Location aware security for smart mobile devices

  2015cites this paper
• Survey on Privacy Protection of Android Devices

  2015cites this paper
• A Strengthened Android Signature Management Method

  2015cites this paper
• Cellpot: A Concept for Next Generation Cellular Network Honeypots

  2014cites this paper
• Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World

  2014cites this paper
• Improving the security of the Android ecosystem

  2014cites this paper
• Review of Malware Defense in Mobile Network using Dynamic Analysis of Android Application

  2014cites this paper
• Efficient, context-aware privacy leakage confinement for android applications without firmware modding

  2014cites this paper
• Integrity Verification and Secure Loading of Remote Binaries for Microkernel-Based Runtime Environments

  2014cites this paper
• Lightweight Display Virtualization For Mobile Devices

  2014cites this paper
• Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware

  2014cites this paper
• AirBag: Boosting Smartphone Resistance to Malware Infection

  2014cites this paper
• DroidVault: A Trusted Data Vault for Android Devices

  2014cites this paper
• Software solutions for high-security voice and data communication for smartphones

  2014cites this paper
• Position Papers of the 2014 Federated Conference on Computer Science and Information Systems, FedCSIS 2014, Warsaw, Poland, September 7-10, 2014

  2014cites this paper
• Challenges in Security and Privacy for Mobile Edge-Clouds

  2014cites this paper
• DroidMiner: Automated Mining and Characterization of Fine-grained Malicious Behaviors in Android Applications

  2014cites this paper
• Per-App Profiles with AppFork: The Security of Two Phones with the Convenience of One

  2014cites this paper
• Systematic audit of third-party android phones

  2014cites this paper
• Detecting mobile malware threats to homeland security through static analysis

  2014cites this paper
• MOSES: Supporting and Enforcing Security Profiles on Smartphones

  2014cites this paper
• Android Malware Detection Using SVM and GA

  2014cites this paper
• Achieving Software Security for Measuring Instruments under Legal Control

  2014cites this paper