Skip to content

Instantly share code, notes, and snippets.

View thomas-fossati's full-sized avatar
🐈
(ポンポン) pon pon!

Thomas Fossati thomas-fossati

🐈
(ポンポン) pon pon!
36 followers · 1 following
  • Linaro
  • Lausanne, CH
View GitHub Profile
@thomas-fossati
thomas-fossati / att-csr.md
Last active June 18, 2024 20:29

Legenda:

  • A: attester
  • RP: relying party (i.e., RA/CA)
  • V_i: i-th verifier
sequenceDiagram
    participant A
 participant RP
@thomas-fossati
thomas-fossati / iat-endorsement-alt.sql
Last active September 16, 2021 13:42
Sketch for a PSA endorsements SQL schema
CREATE TABLE meta(
version text,
name text,
last_updated timestamp,
deployed timestamp
);
-- Two tables, one for reference values (psa_sw_components), the other for
-- verification keys (psa_verification_key), plus one view that joins them and
-- pins software to a product via the endorsed prod_id field.
@thomas-fossati
thomas-fossati / gist:b864808b408c313c1fd7672f0bd4c55e
Created February 19, 2018 12:13
mscgen
msc {
a,b,c;
a->b [label="ab()"] ;
b->c [label="bc(TRUE)"];
c=>c [label="process(1)"];
c=>c [label="process(2)"];
...;
c=>c [label="process(n)"];
c=>c [label="process(END)"];