cap-talk@mail.eros-os.org

0

replies

Reasoning about Object Capabilities using Logical Relations and Effect Parametricity

started 2016-03-24 15:57:16 UTC

2016-03-24 15:57:16 UTC

Dominique Devriese

9

replies

Fwd: Draft Proposed Standard SES (Secure EcmaScript)

started 2016-03-19 04:24:55 UTC

2016-03-23 11:05:08 UTC

Matt Rice

2

replies

TIL: all exceptions before the commit point

started 2016-03-19 07:15:36 UTC

2016-03-19 08:19:35 UTC

Mark S. Miller

0

replies

Password security on unencrypted channels

started 2016-03-06 08:34:42 UTC

2016-03-06 08:34:42 UTC

David Nicol

0

replies

Is Polkit (nearly) a powerbox?

started 2016-02-29 07:09:07 UTC

2016-02-29 07:09:07 UTC

Dan Connolly

1

reply

Are capabilities becoming mainstream?

started 2016-02-16 22:35:57 UTC

2016-02-22 06:05:04 UTC

Mark S. Miller

0

replies

Fwd: [Caja] Object capability success story in Mozilla

started 2016-02-21 07:30:17 UTC

2016-02-21 07:30:17 UTC

Mark Miller

2

replies

Unix domain sockets and MAC confined processes as (object) capability system?

started 2016-02-19 13:04:41 UTC

2016-02-20 02:54:05 UTC

Kenton Varda

5

replies

Capability allegories

started 2016-02-03 00:00:19 UTC

2016-02-03 08:11:12 UTC

William ML Leslie

0

replies

Why it's to hard to explain capabilities to security professionals?

started 2016-02-01 01:52:53 UTC

2016-02-01 01:52:53 UTC

Alan Karp

0

replies

Yikes

started 2016-01-31 01:46:17 UTC

2016-01-31 01:46:17 UTC

Matt Rice

5

replies

cap patterns in 1ml

started 2016-01-17 08:11:59 UTC

2016-01-26 15:35:30 UTC

Matt Rice

11

replies

[friam] and so it goes

started 2016-01-18 09:58:43 UTC

2016-01-21 15:15:56 UTC

Jed Donnelley

32

replies

Joins on capabilities that have passed through different membranes

started 2016-01-05 07:53:48 UTC

2016-01-20 21:11:33 UTC

Sandro Magi

0

replies

First beta MattockFS

started 2016-01-19 21:52:06 UTC

2016-01-19 21:52:06 UTC

rmeijer

21

replies

Access control for IoT

started 2016-01-16 05:13:58 UTC

2016-01-19 14:59:47 UTC

Matt Rice

22

replies

SOSP History Day

started 2015-08-16 02:32:31 UTC

2016-01-14 22:34:25 UTC

Tristan Slominski

3

replies

fun with Capper and OFX financial transaction fetching

started 2016-01-03 05:39:38 UTC

2016-01-08 00:31:25 UTC

Kenton Varda

0

replies

Deputies in Missouri statutes (may they never become confused)

started 2015-12-27 06:54:02 UTC

2015-12-27 06:54:02 UTC

David Nicol

0

replies

MattockFS (A strangely hybrid file-system)

started 2015-12-16 20:15:59 UTC

2015-12-16 20:15:59 UTC

rmeijer

3

replies

"Effect Capabilities for Haskell"

started 2015-12-08 10:12:20 UTC

2015-12-12 23:48:13 UTC

Matt Rice

1

reply

security vs. ux: never the twain shall meet

started 2015-11-14 02:24:50 UTC

2015-11-14 02:26:45 UTC

Raoul Duke

3

replies

UX resources for object capabilities

started 2015-11-03 08:03:21 UTC

2015-11-08 00:32:32 UTC

Marc Stiegler

1

reply

Cap'nProto RPC implementation questions

started 2015-11-05 09:37:15 UTC

2015-11-06 01:24:06 UTC

Kenton Varda

18

replies

alive e/ken style projects?

started 2015-10-14 02:49:39 UTC

2015-10-16 13:43:42 UTC

Tim Coote

5

replies

Android Marshmallow permissions model

started 2015-10-13 23:39:20 UTC

2015-10-15 06:31:25 UTC

David Nicol

8

replies

Are memory safety and maximized data volatility mutually exclusive?

started 2015-10-08 13:23:18 UTC

2015-10-09 04:37:48 UTC

Tony Arcieri

3

replies

C++ becoming memory safe (sorta)

started 2015-09-27 21:57:37 UTC

2015-10-01 19:34:38 UTC

David Nicol

1

reply

CFP: POST 2016

started 2015-09-30 02:33:43 UTC

2015-10-01 12:19:11 UTC

rmeijer

0

replies

SSV 2015 - Deadline Extended to Oct 5th

started 2015-09-25 10:13:43 UTC

2015-09-25 10:13:43 UTC

Toby Murray