Object capability смотреть онлайн

Object Capabilities for Security

Google TechTalks

Google Tech Talks November, 30 2007 ABSTRACT Existing systems often do a poor job of meeting the principle of least privilege.

Holochain’s Cryptographic Object-Capability Model

Outside Blocks

Holochain's Cryptographic Object-Capability Model is a security framework used to manage and restrict access to an application's ...

Why CapnWeb is the LAST RPC Library You'll Need

Better Stack

Unlike tRPC and GraphQL, CapnWeb uses object capability security and promise pipelining to eliminate multiple round trips, ...

Designing secure systems with Object-Capabilities, Python, and Cap'n Proto

Sandstorm.io

Thanks for joining us for Drew's talk on Designing secure systems with Object-Capabilities, Python, and Cap'n Proto by Drew ...

[Scala'25] Where Are We With Scala's Capabilities?

ACM SIGPLAN

Where Are We With Scala's Capabilities? (Video, Scala 2025) Martin Odersky (EPFL) Abstract: The object capability model has ...

Agoric + Protocol Labs // Part 2 - Object-capability Programming in Javascript - Mark Miller

Protocol Labs

Part 2: Object-capability Programming in JavaScript At first blush, JavaScript might seem a strange candidate for a secure ...

S Drossopoulou, "Object Capabilities as Guards – Specification, Verification, and open calls," VeTSS

VeTSS RI

Talk by Sophia Drossopolou, Imperial College London, at the VeTSS Annual Meeting, 21st May 2024, Royal Academy of ...

Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025

Code Sync

So why are object capabilities not used everywhere? I argue it's because they currently lack in both convenience and safety: ...

Robust and Compositional Verification of Object Capability Patterns

Splash Conference 2017

David Swasey, Deepak Garg, Derek Dreyer In scenarios such as web programming, where code is linked together from multiple ...

CHERI A Hybrid Capability System Architecture for Scalable Software Compartmentalization

All Hacking Cons

IEEE Security and Privacy 2015 Hacking conference #hacking, #hackers, #infosec, #opsec, #IT, #security.

Drew Fisher - Designing secure systems with Object-Capabilities, Python, and Cap'n Proto

PyCon 2016

Speaker: Drew Fisher Object-capability security is a technique for designing systems that lets us apply object-oriented design ...

[ICFP24] Capabilities for Control

ACM SIGPLAN

Capabilities for Control (Video, ICFP 2024) Martin Odersky (EPFL) Abstract: Today's server-side programs use sophisticated ...

Paradigm Regained: Abstraction Mechanisms for Access Control

Google TechTalks

Google TechTalks July 12, 2006 Mark Miller Open Source Coordinator E Project at erights.org Dr. Miller is a designer of several ...

Object-capability security for JavaScript applications (Cybersecurity seminar lecture)

Tom Van Cutsem

Lecture by Prof. Tom Van Cutsem (DistriNet KU Leuven) as part of a Cybersecurity seminar course at KU Leuven, Belgium in ...

Object Capability Security chat (DecentSocial 2023)

Christine Lemmer-Webber

Christine chats about object capability theory at a DecentSocial unconference room https://decentsocial.net/

Paradigm Regained: Abstraction Mechanisms for Access Control

GoogleTalksArchive

Google TechTalks July 12, 2006 Mark Miller Open Source Coordinator E Project at erights.org Dr. Miller is a designer of several ...

[OOPSLA24] Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types

ACM SIGPLAN

Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types (Video, OOPSLA 2024) Aleksander ...

Security with Scala Refined Types and Object Capabilities by Will Sargent

Scala Days Conferences

This video was recorded at Scala Days New York 2018 Follow us on Twitter @ScalaDays or visit our website for more information ...

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

IEEE Symposium on Security and Privacy

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization Robert N. M. Watson Presented at ...

Object capabilities walking uphill

Marco Servetto

Here I informally explain Object Capabilities while walking uphill in a New Zeland park.