41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a0bbaf-e00d-7043-a00e-6fbea91404f2

Smart Casual Verification of the Confidential Consortium Framework

Murat Demirbas · published 26 February 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 9
Words captured: 1,159

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.microsoft.com/en-us/research/uploads/prod/2024/07/nsdi25spring-final392.pdf

microsoft.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiO5LG5iZ3-FZNeS0pUNrYFx7c0xqo8rXl9c_uY3ItHqAOp2UgseF8vO3ZcTjrJNQGweiUOMsfEvqxcdMZoM6MwutsToDHVFfSWVCuMcL1OkE_r5DIFk44d0TDZ1VYURynZQGb0uDA5oe2elARdu5gGDZ60P2S4khkICRqSNDL8wfRoLFWzypkk9n1x1Tg/s1090/Screenshot%202025-02-26%20at%202.51.27%E2%80%AFPM.png

blogger.googleusercontent.com

https://muratbuffalo.blogspot.com/search?q=tla%2B

muratbuffalo.blogspot.com

https://arxiv.org/pdf/2006.00915

arxiv.org

https://github.com/microsoft/CCF/tree/main/tla

github.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjTK5Af8-Mpx4Rn04Kb71c6vf7c-HDnUFlVhHOSKNWXRbznCJgaSaRnR24aBugRCzKOBV37vp7Bh9hwQHa3lb00Jk1xMm8KVsXjrg92PyhtZOrHiIE4lmgTJxa5S8NtEosBknB1hOnC79gxMBAZlBwn70BHvtsx-adVyx3rJiJQEPy0ff9RUGscwOSEWqE/s1090/Screenshot%202025-02-26%20at%202.53.37%E2%80%AFPM.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhx3D2kEKhN5RJhAyeOrH47awrkneTutFcDRLVpfmKngIfrgTKHgX4j1CgGriuXGcQgwyYOvisFVMhSQI1s5pSrnpu_yO7CCy0nGq41dAUjRwquAY_RUozCxgKEtbnLkzdi47-CM7kQbt7XdG93_SPEIpNgLON_d5_TZq83dTBQwXdN1HypZGyxoRV_kbI/s1024/Screenshot%202025-02-26%20at%202.55.18%E2%80%AFPM.png

blogger.googleusercontent.com

https://will62794.github.io/tla-web/

will62794.github.io

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh755c5XPQCcY8tfCP9Eu6J61X1UKxgpnT0ruVuYIUYTlokQznLHYwCiw5uSbbLDLiglujKx3wd_DGpZMM2lEbcZhFA5jzWpq1JBQ794alo5d1n422-BZf3lwJMPehtxQL3ezW9fIXonyMgqwKRtSWCXIpt1MDnO-B0b1-TOnxp4aBzfY-qpC2cBKMkfpQ/s2224/Screenshot%202025-02-26%20at%202.55.37%E2%80%AFPM.png

blogger.googleusercontent.com