José A. Alonso on Nostr: Preservation of speculative constant-time by compilation. ~ Santiago Arranz Olmos, ...
Published at
2025-01-13 07:34:02Event JSON
{
"id": "9a111a2dc0709f2fc6f3f06e4e53b3cd3eba80431fc382ae3380d1d37ae60f58",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736753642,
"kind": 1,
"tags": [
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113819886739397648",
"activitypub"
]
],
"content": "Preservation of speculative constant-time by compilation. ~ Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte. https://dl.acm.org/doi/pdf/10.1145/3704880 #ITP #Coq #Rocq",
"sig": "56abcc07086d246ca8b68633e124a613cb9adb270327a7cde5de32e79cf7b645fa0cc45669f1082cb8e69a0dad2e159d33fd4b9d1e88be76c8bdad377dc6ce8a"
}
