npub1sdtvw8y3yhksws5jf8ttl45vru06krpuuus2fys3u5exucvc4ywquf96z3 (npub1sdt…96z3) npub178rvtslm3qykq8uy5afswta2qz5pk9atjxsepht4x8ldddssp6kq4sqekt (npub178r…qekt) Our group at SDC - essentially David Kaufman, Frank Heinrich, & myself, working under Gerry Cole and Clark Weissman - did much of the design & I led the software implementation group. The formal verification of code stuff was mostly under the guidance of our peer group at SDC under Mav Schaeffer (sp), John Schied, & Val Schorre (sp).
Unfortunately we were never allowed to talk about our work. But we did invent a lot of stuff, like crypto key management, tagged VLANs, block chaining etc.
Later on Frank Heinrich and I worked with Peter Neuman to try to turn his Provably Secure Operating System capability design into a working system. (We ended up tossing Peter's permanent capability system in favor of one with garbage collection of no longer referenced capabilities.) We actually got pretty deep into reworking a Univac computer into support the capability system we wanted (and I designed all of the necessary capability/access list caching to make it run a usable speed.)
Karl Auerbach /
npub1a5…3p6vn
2023-11-30 21:37:20
in reply to nevent1q…k3fr
Author Public Key
npub1a5q923w4qml55etpgah0tjuz665axpxc737z83rqekhfattszerq73p6vnPublished at
2023-11-30 21:37:20Event JSON
{
"id": "b7f8ae7a787943526e7c402bd29bf009753c98de4679165a2014fb6a04cb2ee9",
"pubkey": "ed005545d506ff4a6561476ef5cb82d6a9d304d8f47c23c460cdae9ead701646",
"created_at": 1701380240,
"kind": 1,
"tags": [
[
"p",
"8356c71c9125ed07429249d6bfd68c1f1fab0c3ce720a49211e5326e6198a91c",
"wss://relay.mostr.pub"
],
[
"p",
"f1c6c5c3fb8809601f84a753072faa00a81b17ab91a190dd7531fed6b6100eac",
"wss://relay.mostr.pub"
],
[
"p",
"6da2523d22fe20b9e224d3a3faa0a966295e43c7eb7e55e99dff4b76a9fa0a5a",
"wss://relay.mostr.pub"
],
[
"p",
"6f9089e5e6810f9514a501f04b94466f7473f4db7fb0e9e389966dc7cfb76251",
"wss://relay.mostr.pub"
],
[
"e",
"278cfdb776b80345549b40572bb58bad7602f4ff447de6da66fcfb2057ca4f67",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://sfba.social/users/karlauerbach/statuses/111501655424125095",
"activitypub"
]
],
"content": "nostr:npub1sdtvw8y3yhksws5jf8ttl45vru06krpuuus2fys3u5exucvc4ywquf96z3 nostr:npub178rvtslm3qykq8uy5afswta2qz5pk9atjxsepht4x8ldddssp6kq4sqekt Our group at SDC - essentially David Kaufman, Frank Heinrich, \u0026 myself, working under Gerry Cole and Clark Weissman - did much of the design \u0026 I led the software implementation group. The formal verification of code stuff was mostly under the guidance of our peer group at SDC under Mav Schaeffer (sp), John Schied, \u0026 Val Schorre (sp).\n\nUnfortunately we were never allowed to talk about our work. But we did invent a lot of stuff, like crypto key management, tagged VLANs, block chaining etc.\n\nLater on Frank Heinrich and I worked with Peter Neuman to try to turn his Provably Secure Operating System capability design into a working system. (We ended up tossing Peter's permanent capability system in favor of one with garbage collection of no longer referenced capabilities.) We actually got pretty deep into reworking a Univac computer into support the capability system we wanted (and I designed all of the necessary capability/access list caching to make it run a usable speed.)",
"sig": "8492239253781a9e43dbfcc234f76a6eaf5de594a321efa8cf432145e7feb34f1030d859008f305540a9bd3875b60125eb8535b944d2c9aeeb3432e432155861"
}