IRM enforcement of Java stack inspection

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000

• Publication date

  2000-02-19

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SECPRI.2000.848461
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Policy-directed code safety

  2000cited by this paper
• Design and implementation of a distributed virtual machine for networked computers

  1999cited by this paper
• A new approach to mobile code security

  1999influential reference
• Hardening COTS software with generic software wrappers

  1999cited by this paper
• SASI enforcement of security policies: a retrospective

  1999influential reference
• Inside Java 2 Platform Security: Architecture, API Design, and Implementation

  1999cited by this paper
• Flexible policy-directed code safety

  1999cited by this paper
• Automatic Program Transformation with JOIE

  1998cited by this paper
• Dynamic class loading in the Java virtual machine

  1998cited by this paper
• Java Security

  1998cited by this paper
• Understanding Java stack inspection

  1998influential reference
• The Java Language Specification

  1996influential reference
• Efficient software-based fault isolation

  1994cited by this paper
• The protection of information in computer systems

  1975cited by this paper
• Computer Security Technology Planning Study

  1972cited by this paper
• FAKULTÄT FÜR INFORMATIK

  year unknowncited by this paper

• Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests

  2025cites this paper
• Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring

  2025cites this paper
• Too Subtle to Notice: Investigating Executable Stack Issues in Linux Systems

  2025cites this paper
• A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation

  2025cites this paper
• Instrumentation-Driven Evolution-Aware Runtime Verification

  2025cites this paper
• FineIBT: Fine-grain Control-flow Enforcement with Indirect Branch Tracking

  2023cites this paper
• RVprio: A tool for prioritizing runtime verification violations

  2022cites this paper
• Formal Methods for Security Knowledge Area Version 1 . 0 . 0

  2021cites this paper
• Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification

  2021cites this paper
• Prioritizing Runtime Verification Violations

  2020cites this paper
• Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors

  2020cites this paper
• Secure System Virtualization: End-to-End Verification of Memory Isolation

  2020cites this paper
• Unifying Security Policy Enforcement: Theory and Practice

  2020cites this paper
• Enhancing Data Flow Tracking for Data Usage Control

  2020cites this paper
• Design of Data Source Based-IDS

  2019cites this paper
• Authentication , Authorisation & Accountability ( AAA ) Knowledge Area Issue 1 . 0

  2019cites this paper
• Rendered Private: Making GLSL Execution Uniform to Prevent WebGL-based Browser Fingerprinting

  2019cites this paper
• Formal Approaches to Secure Compilation

  2019cites this paper
• 1 Formal Approaches to Secure Compilation

  2018cites this paper
• Techniques to Protect Confidentiality and Integrity of Persistent and In-Memory Data

  2018cites this paper
• HCAP: A History-Based Capability System for IoT Devices

  2018cites this paper
• ZEUS: Analyzing Safety of Smart Contracts

  2018cites this paper
• Brokering Policies and Execution Monitors for IoT Middleware

  2018influential citation
• Program synthesis for interactive-security systems

  2017influential citation
• From Complex Event Processing to Simple Event Processing

  2017cites this paper
• A Generic Framework for Enforcing Security in Distributed Systems

  2017cites this paper
• An International Workshop on Competitions , Usability , Benchmarks , Evaluation , and Standardisation for Runtime Verification Tools Event Stream Processing with BeepBeep 3

  2017cites this paper
• A Methodology For Micro-Policies

  2017cites this paper
• When RV Meets CEP

  2016cites this paper
• Qualitative Privacy Description Language - Integrating Privacy Concepts, Languages, and Technologies

  2016cites this paper
• Implementing Context Based Access Control Systems for Mobile Devices

  2016cites this paper
• Extensible access control with authorization contracts

  2016cites this paper
• Practical Control-Flow Integrity

  2016cites this paper
• Efficient trusted host-based card emulation on TEE-enabled Android devices

  2016cites this paper
• On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks

  2016cites this paper
• Training Manager Rendering Task Generator Headless Browser Cluster Browser Instance Browser Instance Link Spider / Test Cases Template Generator Host Whitelist Generator Template

  2016cites this paper
• CSPAutoGen: Black-box Enforcement of Content Security Policy upon Real-world Websites

  2016cites this paper
• Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity

  2016cites this paper
• WebC: toward a portable framework for deploying legacy code in web browsers

  2015cites this paper
• Context-Based Access Control Systems for Mobile Devices

  2015cites this paper
• On piggyback runtime monitoring of object-oriented programs

  2015influential citation
• Formal Enforcement of Security Policies : An Algebraic Approach

  2015influential citation
• Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• Access-rights Analysis in the Presence of Subjects

  2015cites this paper
• A Formal Dynamic Verification of Choreographed Web Services Conversations

  2015cites this paper
• Security and Privacy Policy Languages: A Survey, Categorization and Gap Identification

  2015cites this paper
• A Declarative Language Interpreter for CEP

  2015cites this paper
• Trusted host-based card emulation

  2015cites this paper
• Policy ignorant caller-side inline reference monitoring

  2015influential citation
• Micro-Policies: Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• Micro-Policies: Formally Verified, Tag-Based Security Monitors

  2015cites this paper
• A Comparative Study of Security Techniques for Protecting Mobile Agents from Malicious Hosts

  2014influential citation
• Preparation-free and comprehensive runtime verification tool for testing Java programs

  2014cites this paper
• A survey of static code analysis methods for security vulnerabilities detection

  2014cites this paper
• Runtime enforcement of regular timed properties

  2014cites this paper
• Micro-Policies : A Framework for Verified , Tag-Based Security Monitors

  2014cites this paper
• Security Analysis of Permission-Based Systems using Static Analysis: An Application to the Android Stack

  2014cites this paper
• Data Privacy Management and Autonomous Spontaneous Security

  2014cites this paper
• Micro-Policies A Framework for Verified, Hardware-Assisted Security Monitors

  2014cites this paper
• Access Control Models for Online Social Networks

  2014cites this paper
• Android security framework: extensible multi-layered access control on Android

  2014cites this paper
• HCODE: Hardware-Enhanced Real-Time CFI

  2014cites this paper
• Protecting Systems from Within: Application-Level Observation and Control Mechanisms

  2014cites this paper
• Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring

  2014cites this paper
• PolyAML : A Polymorphic Aspect-Oriented Functional Programming Language ( Extended Version )

  2014cites this paper
• Android Security Framework: Enabling Generic and Extensible Access Control on Android

  2014cites this paper
• A Review on Web Security and Its Applications

  2014cites this paper
• DOCTEUR DE L'UNIVERSITÉ DU LUXEMBOURG EN INFORMATIQUE

  2014cites this paper
• Security monitor inlining and certification for multithreaded Java

  2014influential citation
• Access Control for Apps Running on Constrained Devices in the Internet of Things

  2014cites this paper
• Evolution of Security Engineering Artifacts: A State of the Art Survey

  2014cites this paper
• Modular and secure access control with aspects

  2014cites this paper
• Zero Overhead Runtime Monitoring

  2013cites this paper
• Toward More Composable Software-Security Policies: Tools and Techniques

  2013cites this paper
• Inlined Reference Monitors : Certification,Concurrency and Tree Based Monitoring

  2013influential citation
• Monitor integrity protection with space efficiency and separate compilation

  2013cites this paper
• Control-flow restrictor: compiler-based CFI for iOS

  2013cites this paper
• Relational abstraction in community-based secure collaboration

  2013cites this paper
• Reliable accounting in grids

  2013cites this paper
• Predictive access control for distributed computation

  2013cites this paper
• Security policies enforcement using finite and pushdown edit automata

  2013cites this paper
• Secure programs via game-based synthesis

  2013cites this paper
• Declarative, Temporal, and Practical Programming with Capabilities

  2013cites this paper
• RetroSkeleton: retrofitting android apps

  2013cites this paper
• Secure and modular access control with aspects

  2013cites this paper
• Inferred Interface Glue: Supporting Language Interoperability with Static Analysis

  2013cites this paper
• A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications

  2013cites this paper
• AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications

  2013cites this paper
• Strato: A Retargetable Framework for Low-Level Inlined-Reference Monitors

  2013cites this paper
• A Survey of Isolation Techniques ∗

  2013cites this paper
• Idea: Callee-Site Rewriting of Sealed System Libraries

  2013cites this paper
• AppGuard - Enforcing User Requirements on Android Apps

  2013influential citation
• Verified and Optimized Inlined Reference Monitors PhD Candidacy Proposal

  2013cites this paper
• I-ARM-Droid : A Rewriting Framework for In-App Reference Monitors for Android Applications

  2012cites this paper
• Secondary use of data in EHR systems

  2012cites this paper
• Blueprint for a science

  2012cites this paper
• Corrective Enforcement: A New Paradigm of Security Policy Enforcement by Monitors

  2012cites this paper
• Web Security Analysis for Java Using Conditional Weighted Pushdown System

  2012cites this paper
• Language-Based Security to Apply Computer Security

  2012cites this paper
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  2012cites this paper