- Loop optimization for aggregate array computations Yanhong A. Liu and Scott D. Stoller
- Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation
- AdOrBAC: An Administration Model for Or-BAC Frederic Cuppens Alexandre Mi`ege
- SANSInstitute2003,Authorretainsfullrights. Key fingerprint = AF19 FA27 2F94 998D FDB5 DE3D F8B5 06E4 A169 4E46
- Brief Announcement: Lower and Upper Bounds for Attacks on Authentication Scott D. Stoller
- Trust Management and Trust Negotiation in an Extension of SQL
- Domain Partitioning for Open Reactive Systems
- Loop optimization for aggregate array computations Yanhong A. Liu and Scott D. Stoller
- Backoff Protocols for Distributed Mutual Exclusion and Ordering Gregory Chockler, Dahlia Malkhi
- A METHOD AND TOOL FOR ANALYZING FAULT-TOLERANCE IN SYSTEMS
- October 2008 Scott Stoller, Stony Brook University 1 Trust Management
- Verification of Security Policy Enforcement in Enterprise Systems
- Parametric Heap Usage Analysis for Functional Programs Leena Unnikrishnan Scott D. Stoller
- Dynamic Programming via Static Incrementalization
- Protecting Privacy using the Decentralized Label Model
- Sept. 2007 Scott Stoller, Stony Brook University 1 Role-Based Access Control
- Security Policy Analysis using Deductive Spreadsheets Dept. of Computer Science
- Introduction to SOAP Scott D. Stoller
- Bebop: A Symbolic Model Checker for Boolean Thomas Ball and Sriram K. Rajamani
- Efficient Symbolic Detection of Global Properties in Distributed Scott D. Stoller and Yanhong A. Liu
- Automated Stream-Based Analysis of Fault-Tolerance?
- Policy Analysis for Security-Enhanced Linux Beata Sarna-Starosta Scott D. Stoller
- A Bound on Attacks on Payment Protocols Scott D. Stoller
- CSE302/ISE302: Professional Ethics for Computer Science
- A METHOD AND TOOL FOR ANALYZING FAULTTOLERANCE IN SYSTEMS
- A Language Framework For Expressing Checkable Properties of Dynamic Software \Lambday
- Analysis and Transformations for Efficient Query-based Debugging Michael Gorbovitski K. Tuncay Tekle Tom Rothamel Scott D. Stoller Yanhong A. Liu
- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring
- Java Model Checking David Y.W. Park Ulrich Stern Jens U. Skakkebk #
- Policy Analysis for Administrative Role Based Access Control Amit Sasturkar
- Symbolic reachability analysis for parameterized administrative role-based access control5
- Automated Symbolic Timing Analysis for Distributed Systems Scott D. Stoller and Leena Unnikrishnan
- Efficient Symbolic Detection of Global Properties in Distributed Systems
- Professional Ethics CS Department Professional Ethics
- Message-Efficient Uniform Timed Reliable Broadcast Yu Ma and Scott D. Stoller
- Cryptographic Support for Fault-Tolerant Distributed Computing Yaron Minsky
- Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages
- Abstract Interpretation: a SemanticsBased Tool for Program
- Section 4 illustrates the need to interpret programs over domains other than abstractions of the accumulating semantics. Some program analy
- Checking Temporal Properties of Software with Boolean Programs
- Role-Based Access Control: A Corrected and Simplified Specification
- Security Policy Languages and Enforcement Scott D. Stoller
- RV'03 Preliminary Version Run-Time Analysis for Atomicity 1
- Policy Analysis for Security-Enhanced Linux Beata Sarna-Starosta Scott D. Stoller
- Dynamic Programming via Static Incrementalization Yanhong A. Liu and Scott D. Stoller
- Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
- Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Detection of deadlock potentials in multithreaded
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2005; 00:113 Prepared using cpeauth.cls [Version: 2002/09/19
- Automated Analysis of Fault-Tolerance in Distributed Scott D. Stoller (stoller@cs.sunysb.edu)
- Leader Election in Asynchronous Distributed Systems Scott D. Stoller
- Addendum to "Proof Rules for Flush Channels" Scott Stoller
- Trust Management for Web Services Scott D. Stoller
- Alias Analysis for Optimization of Dynamic Languages Michael Gorbovitski Yanhong A. Liu Scott D. Stoller Tom Rothamel K. Tuncay Tekle
- RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
- Automated Type-Based Analysis of Data Races and Amit Sasturkar Rahul Agarwal Liqiang Wang Scott D. Stoller
- Parametric Regular Path Queries Yanhong A. Liu Tom Rothamel Fuxiang Yu Scott D. Stoller
- Type Discovery for Parameterized Race-Free Java RAHUL AGARWAL
- Optimized Live Heap Bound Analysis Leena Unnikrishnan
- Domain Partitioning for Open Reactive Systems Scott D. Stoller
- Domain Partitioning for Open Reactive Systems Scott D. Stoller
- Automated Software Engineering Using Concurrent Class Machines Radu Grosu Yanhong A. Liu Scott Smolka Scott D. Stoller Jingyu Yan
- Solving Regular Tree Grammar Based Constraints Yanhong A. Liu Ning Li Scott D. Stoller
- A Bound on Attacks on Payment Protocols Scott D. Stoller
- From recursion to iteration: what are the optimizations? Yanhong A. Liu and Scott D. Stoller
- Eliminating Dead Code on Recursive Data Yanhong A. Liu and Scott D. Stoller?
- E cient Symbolic Detection of Global Properties in Distributed Scott D. Stoller and Yanhong A. Liu
- Detecting Global Predicates in Distributed Systems with Clocks
- Automated Analysis of Fault-Tolerance in Distributed Systems
- Discovering Auxiliary Information for Incremental Computation Yanhong A. Liu Scott D. Stoller Tim Teitelbaum
- Faster Possibility Detection by Combining Two Scott D. Stoller and Fred B. Schneider
- Storage Replication and Layout in Video-on-Demand Servers
- A Reduction for Automated Veri cation of Authentication Scott D. Stoller
- Leader Election in Distributed Systems with Crash Failures Scott D. Stoller
- CSE302: Professional Ethics for Computer Lecture 1: Introduction
- CSE302/ISE302: Professional Ethics for Computer Science
- CSE302/ISE302: Professional Ethics for Computer Science
- Organization based access control Anas Abou El Kalam
- Cassandra: Flexible Trust Management, Applied to Electronic Health Records Moritz Y. Becker Peter Sewell
- Technical Report Computer Laboratory
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- Journal of Computer Security draft printout, (29 Jul 1996), 1{20 A SOUND TYPE SYSTEM FOR SECURE FLOW
- Scott D. Stoller CSE608: Advanced Computer Security
- September 2008 Scott Stoller, Stony Brook University 1 Trust Management
- September 2008 Scott Stoller, Stony Brook University 1 Role-Based Access Control
- Efficient Type Inference for Secure Information Flow Katia Hristova
- CSE592: Security Policy Frameworks, Fall 2007; Scott D. Stoller Name: _________________________ Email address: _______________________________
- CSE394: Security Policy Frameworks Scott Stoller
- ACSAC 2005 Scott Stoller, Stony Brook University 1 Trust Management
- CSE526: Principles of Programming Languages (Spring 2003) Scott Stoller
- Introduction to the Objective Caml Programming Language
- Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control
- Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs
- Model Checking Programs Willem Visser
- The Timewheel Asynchronous Group Communication Protocol Christof Fetzer, Shivakant Mishra and Flaviu Cristian
- Policy Decomposition for Collaborative Access Control Purdue University
- Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocols
- NETRA: Seeing Through Access Control Prasad Naldurg
- An Operational Approach to Combining Classical Set Theory and
- Efficient Policy Analysis for Administrative Role Based Access Control
- Runtime Analysis of Atomicity for Multithreaded Programs
- RV'03 Preliminary Version Testing Concurrent Java Programs using
- Optimized Live Heap Bound Analysis Leena Unnikrishnan
- On the Energy Consumption and Performance of Systems Software
- Static Caching for Incremental Computation YANHONG A. LIU and SCOTT D. STOLLER
- Type Inference for Parameterized Race-Free Rahul Agarwal and Scott D. Stoller
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Static Analysis of Atomicity for Programs with Non-Blocking Synchronization
- Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables
- Optimized Run-Time Race Detection And Atomicity Checking Using Partial Discovered Types
- Verifying Programs that use Causally-ordered Message-passing Scott D. Stoller
- E cient Symbolic Detection of Global Properties in Distributed Systems
- CSE608: Advanced Computer Security, Fall 2008; Scott D. Stoller Name: _________________________ Email address: _______________________________
- CSE526: Principles of Programming Languages (Spring 2003) Scott Stoller
- Computer Communications Software Scott D. Stoller
- CSE591: Security Policy Frameworks Scott Stoller and Annie Liu
- E cient Detection of Global Properties in Distributed Systems Using Partial-Order Methods
- HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis
- Static Analysis of Atomicity for Algorithms Using Non-Blocking Synchronization
- AUTOMATED SYMBOLIC TIMING ANALYSIS FOR DISTRIBUTED SYSTEMS
- CSE647: Testing and Veri cation (Fall 2000) Scott Stoller
- Optimistic Synchronization-Based State-Space Scott D. Stoller 1
- Transformations for Model Checking Distributed Java Programs
- Optimistic Synchronization-Based State-Space Reduction Scott D. Stoller
- A BOUND ON ATTACKS ON AUTHENTICATION PROTOCOLS
- Aspect-Oriented Instrumentation with GCC Justin Seyster1
- Eliminating Dead Code on Recursive Data Yanhong A. Liu, Scott D. Stoller
- Trust Management Services in Relational Databases Sabrina De Capitani di Vimercati
- Policy Analysis for Administrative Role Based Access Control Amit Sasturkar Ping Yang Scott D. Stoller C.R. Ramakrishnan
- Detecting Global Predicates in Distributed Systems with Clocks Scott D. Stoller
- Redflag: A Framework for Analysis of Kernel-Level Concurrency
- 978-1-4577-1591-4/11/$26.00 2011 IEEE Programming and Optimizing Distributed Algorithms
- T Trust Management in Databases Trust Management in Databases
- Abductive Analysis of Administrative Policies in Rule-based Access Control
