GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
The next 700 programming languages
Communications of the ACM
PAL—a language designed for teaching programming linguistics
ACM '68 Proceedings of the 1968 23rd ACM national conference
LISP 1.5 Programmer's Manual
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus for assignments in higher-order languages
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Quasi-static scoping: sharing variable bindings across multiple lexical scopes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A transformational grammar-based query processor for access control in a planning system
ACM Transactions on Database Systems (TODS)
Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Authentication primitives and their compilation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
Cryptographic sealing for information secrecy and authentication
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Communications of the ACM
Communications of the ACM
Reflections on an operating system design
Communications of the ACM
Letters to the editor: A protection model and its implementation in a dataflow system
Communications of the ACM
Protection in programming-language translations
Secure Internet programming
Analyzing security protocols with secrecy types and logic programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Mode modules as representations of domains: preliminary report
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Capability-Based Financial Instruments
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
Hardware support for memory protection: Capability implementations
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
Engines build process abstractions
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Protection in the Hydra Operating System
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
The design of an object oriented architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Procedural encapsulation: A linguistic protection technique
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Simplifying ADA by removing limitations
ACM SIGPLAN Notices
Aspects of the ALGOL 68 mode structure
ACM SIGPLAN Notices
Logical relation for encryption
Journal of Computer Security - Special issue on CSFW14
A bisimulation for dynamic sealing
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Analyzing security protocols with secrecy types and logic programs
Journal of the ACM (JACM)
History of programming languages---II
A bisimulation for dynamic sealing
Theoretical Computer Science
A bisimulation for type abstraction and recursion
Journal of the ACM (JACM)
Delegating responsibility in digital systems: Horton's "who done it?"
HOTSEC'07 Proceedings of the 2nd USENIX workshop on Hot topics in security
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Modular verification of security protocol code by typing
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mnemonics: type-safe bytecode generation at run time
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Fine-grained privilege separation for web applications
Proceedings of the 19th international conference on World wide web
Class properties for security review in an object-capability subset of Java: (short paper)
PLAS '10 Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Refinement types for secure implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A separation logic for refining concurrent objects
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular code-based cryptographic verification
Proceedings of the 18th ACM conference on Computer and communications security
Mnemonics: type-safe bytecode generation at run time
Higher-Order and Symbolic Computation
The structure of authority: why security is not a separable concern
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
The oz-e project: design guidelines for a secure multiparadigm programming language
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Union and intersection types for secure protocol implementations
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
On Protection by Layout Randomization
ACM Transactions on Information and System Security (TISSEC)
S-RVM: a secure design for a high-performance java virtual machine
Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages
Fully abstract compilation to JavaScript
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logical foundations of secure resource management in protocol implementations
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Journal of Computer Security - Foundational Aspects of Security
| Hi-index | 48.31 |