cap-talk

1–30 of 365

0 selected

Neil Madden, Kevin Reid2

Oct 19

On Tue, Oct 19, 2021 at 12:53 PM Neil Madden <neil.madden@forgerock.com> wrote: Is there a

unread,

On Tue, Oct 19, 2021 at 12:53 PM Neil Madden <neil.madden@forgerock.com> wrote: Is there a

Oct 19

William ML Leslie2

Oct 19

Draft asynchronous functionality for Coyotos

On Tue, 19 Oct 2021, 10:20 pm William ML Leslie, <william.leslie.ttg@gmail.com> wrote On a 64

unread,

Draft asynchronous functionality for Coyotos

On Tue, 19 Oct 2021, 10:20 pm William ML Leslie, <william.leslie.ttg@gmail.com> wrote On a 64

Oct 19

Charlie Landau, … Matt Rice18

Oct 17

Best Linux distro for development?

On Mon, Oct 18, 2021 at 1:25 AM Charlie Landau <charlie@charlielandau.com> wrote: > > On

unread,

Best Linux distro for development?

On Mon, Oct 18, 2021 at 1:25 AM Charlie Landau <charlie@charlielandau.com> wrote: > > On

Oct 17

Valerio Bellizzomi

Oct 11

Ada language - The Ravenscar profile

This Ada language profile is for safety-critical, hard real-time computing. How could we use the

unread,

Ada language - The Ravenscar profile

This Ada language profile is for safety-critical, hard real-time computing. How could we use the

Oct 11

Rob Meijer, … Dan Connolly8

Oct 10

Is Monte still alive? If so, are there cryptographic libraries available for it?

On Tue, Sep 21, 2021 at 9:15 AM Rob Meijer <pibara@gmail.com> wrote: > Ended up putting

unread,

Is Monte still alive? If so, are there cryptographic libraries available for it?

On Tue, Sep 21, 2021 at 9:15 AM Rob Meijer <pibara@gmail.com> wrote: > Ended up putting

Oct 10

Charlie Landau, … Ben Laurie3

Oct 10

Best repository host?

+1 to this. On Sun, 10 Oct 2021 at 05:10, Jonathan S. Shapiro <jonathan.s.shapiro@gmail.com>

unread,

Best repository host?

+1 to this. On Sun, 10 Oct 2021 at 05:10, Jonathan S. Shapiro <jonathan.s.shapiro@gmail.com>

Oct 10

Charlie Landau, … William ML Leslie6

Oct 9

On Sun, 10 Oct 2021 at 03:49, Charlie Landau <charlie@charlielandau.com> wrote: > > Hi

unread,

On Sun, 10 Oct 2021 at 03:49, Charlie Landau <charlie@charlielandau.com> wrote: > > Hi

Oct 9

Christopher Lemmer Webber, … Tristan Slominski31

Sep 19

Musing on the key metaphor

I came across an interesting example of capabilities, Durell Bishop's Marble Answering Machine:

unread,

Musing on the key metaphor

I came across an interesting example of capabilities, Durell Bishop's Marble Answering Machine:

Sep 19

Raoul Duke, Mark S. Miller2

Sep 16

nix -> spectrum os

Not old news to me. Looks very promising, thanks! On Thu, Sep 16, 2021 at 10:51 AM Raoul Duke <

unread,

nix -> spectrum os

Not old news to me. Looks very promising, thanks! On Thu, Sep 16, 2021 at 10:51 AM Raoul Duke <

Sep 16

ArndtS...@freenet.de, … David Nicol5

Sep 9

Did KeyKOS allow organizations to communicate with each other?

Really? "Record collection?" That's hella cute. On Tue, Sep 7, 2021 at 3:07 PM Bill

unread,

Did KeyKOS allow organizations to communicate with each other?

Really? "Record collection?" That's hella cute. On Tue, Sep 7, 2021 at 3:07 PM Bill

Sep 9

William ML Leslie

Sep 2

Steal This Drone: High Assurance Cyber Military Systems

Looks like the HACMS talk from Collins Aerospace at DEFCON is up. This covers the system they built

unread,

Steal This Drone: High Assurance Cyber Military Systems

Looks like the HACMS talk from Collins Aerospace at DEFCON is up. This covers the system they built

Sep 2

Aug 12

Fwd: [seL4 Announce] seL4 defeats DEF CON hackers

Awesome achievement! Congrats! ---------- Forwarded message --------- From: Announcements about seL4

unread,

Fwd: [seL4 Announce] seL4 defeats DEF CON hackers

Awesome achievement! Congrats! ---------- Forwarded message --------- From: Announcements about seL4

Aug 12

Valerio Bellizzomi

Aug 7

BLAKE3 is a cryptographic hash function that is: Much faster than MD5, SHA-1, SHA-2, SHA-3, and

unread,

BLAKE3 is a cryptographic hash function that is: Much faster than MD5, SHA-1, SHA-2, SHA-3, and

Aug 7

Aug 6

"Proving full-system security properties under multiple attacker models on capability machines"

https://cs.au.dk/~birke/papers/caps-mmio-conf.pdf To the tiny extent that I understand it, this looks

unread,

"Proving full-system security properties under multiple attacker models on capability machines"

https://cs.au.dk/~birke/papers/caps-mmio-conf.pdf To the tiny extent that I understand it, this looks

Aug 6

Aug 4

"seL4 Integrity Enforcement Proved for RISC-V"

https://microkerneldude.wordpress.com/2021/08/04/sel4-integrity-enforcement-proved-for-risc-v/

unread,

"seL4 Integrity Enforcement Proved for RISC-V"

https://microkerneldude.wordpress.com/2021/08/04/sel4-integrity-enforcement-proved-for-risc-v/

Aug 4

Alan Karp, … Raoul Duke6

Aug 3

Archive of cap-talk.mail.eros-os

i can't tell which of many cap-talks this one is: https://marc.info/?l=cap-talk

unread,

Archive of cap-talk.mail.eros-os

i can't tell which of many cap-talks this one is: https://marc.info/?l=cap-talk

Aug 3

Christine Lemmer-Webber, … Valerio Bellizzomi3

Jul 30

Content Addressed Descriptors and Interfaces with Spritely Goblins

While searching for "Miranda protocol" I found references to the Monte language and the

unread,

Content Addressed Descriptors and Interfaces with Spritely Goblins

While searching for "Miranda protocol" I found references to the Monte language and the

Jul 30

F. Randall Farmer, Christine Lemmer-Webber2

Jul 28

Randy quietly joins the list...

F. Randall Farmer writes: > <pay me no nevermind.> In direct contradiction to your request,

unread,

Randy quietly joins the list...

F. Randall Farmer writes: > <pay me no nevermind.> In direct contradiction to your request,

Jul 28

Jul 27

A deeper look at Fuchsia

I don't usually like video documentation of *anything*, but this guided tour of Fuchsia by one of

unread,

A deeper look at Fuchsia

I don't usually like video documentation of *anything*, but this guided tour of Fuchsia by one of

Jul 27

Jonathan Aldrich, … Jonathan S. Shapiro43

Jul 26

authority question

With the clarification that the object holds a capability to “file” from construction, this becomes a

unread,

authority question

With the clarification that the object holds a capability to “file” from construction, this becomes a

Jul 26

Alan Karp, … Valerio Bellizzomi12

Jul 25

Introducing cap-std, a capability-based version of the Rust standard library

Follow-up on my questions: https://github.com/cloud-hypervisor/cloud-hypervisor/discussions/2800#

unread,

Introducing cap-std, a capability-based version of the Rust standard library

Follow-up on my questions: https://github.com/cloud-hypervisor/cloud-hypervisor/discussions/2800#

Jul 25

Jonathan S. Shapiro, … Valerio Bellizzomi3

Jul 22

never heard of it before, it is not even listed on DistroWatch and LWN.net. I guess one of the most

unread,

never heard of it before, it is not even listed on DistroWatch and LWN.net. I guess one of the most

Jul 22

Jonathan S. Shapiro

Jul 21

Some of you have received a WeFunder invite in connection with my company's impending raise. It

unread,

Some of you have received a WeFunder invite in connection with my company's impending raise. It

Jul 21

Jul 18

The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing

Eric Rescorla just tweeted about this interesting framework for C++ sandboxing, using C++ type system

unread,

The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing

Eric Rescorla just tweeted about this interesting framework for C++ sandboxing, using C++ type system

Jul 18

Carl Hewitt Twitter: ProfCarlHewitt

Jul 15

video: “Preventing Successful Cyberattacks Using Strongly-typed Actors”

https://www.youtube.com/watch?v=AJP1VL7shiI Comments and suggestions appreciated. Thanks! Carl https:

unread,

video: “Preventing Successful Cyberattacks Using Strongly-typed Actors”

https://www.youtube.com/watch?v=AJP1VL7shiI Comments and suggestions appreciated. Thanks! Carl https:

Jul 15

Alan Karp, … William ML Leslie4

Jul 12

Using OAuth 2 scopes in access tokens

To the argument about "omniscient" policy servers; the reverse is true: you no longer need

unread,

Using OAuth 2 scopes in access tokens

To the argument about "omniscient" policy servers; the reverse is true: you no longer need

Jul 12

Jun 24

Digital car key

https://global-carconnectivity.org/wp-content/uploads/2020/04/CCC_Digital_Key_2.0.pdf Unfortunately,

unread,

Digital car key

https://global-carconnectivity.org/wp-content/uploads/2020/04/CCC_Digital_Key_2.0.pdf Unfortunately,

Jun 24

Mark S. Miller, Tony Arcieri2

Jun 15

"New TLS Attack Lets Attackers Launch Cross-Protocol Attacks Against Secure Sites"

It's ultimately making the case for things like ALPN and SNI. Although there's much simpler

unread,

"New TLS Attack Lets Attackers Launch Cross-Protocol Attacks Against Secure Sites"

It's ultimately making the case for things like ALPN and SNI. Although there's much simpler

Jun 15

Alan Karp, Mark S. Miller3

Jun 14

You don't need delegation; it is very useful, though.

Some of you know the perpetrator, so I prefer to preserve the person's anonymity. --------------

unread,

You don't need delegation; it is very useful, though.

Some of you know the perpetrator, so I prefer to preserve the person's anonymity. --------------

Jun 14

Dan Finlay, … Mark S. Miller102

Jun 14

Google's Fuscia OS, a "Capability based OS", Begins Rolling Out Today

On Mon, Jun 14, 2021 at 10:11 AM 'Ben Laurie' via cap-talk <cap-talk@googlegroups.com>

unread,

Google's Fuscia OS, a "Capability based OS", Begins Rolling Out Today

On Mon, Jun 14, 2021 at 10:11 AM 'Ben Laurie' via cap-talk <cap-talk@googlegroups.com>

Jun 14

Search

Clear search

Close search

Google apps

Main menu