From 9daf29b3ee60f6943621a8d2b43e60efae2b3678 Mon Sep 17 00:00:00 2001 From: Giuliano Losa Date: Tue, 13 Aug 2024 20:52:51 -0700 Subject: [PATCH] Deploy website - based on 3e3f1f33344d786c2a485a1b4dec885340a4ecd8 --- 404.html | 2 +- assets/js/0fafd334.76a1f4d4.js | 1 - assets/js/0fafd334.e76035e2.js | 1 + assets/js/22dd74f7.011ee67d.js | 1 + assets/js/22dd74f7.c2e8eb1b.js | 1 - assets/js/{b5d444f3.ccb3d724.js => b5d444f3.fe3cf4a6.js} | 2 +- assets/js/runtime~main.076c0279.js | 1 - assets/js/runtime~main.44d08049.js | 1 + index.html | 2 +- news.html | 9 ++++++--- publications.html | 2 +- research-grants.html | 2 +- research-grants/grantees.html | 8 ++++---- research-grants/publications.html | 2 +- workshops.html | 2 +- 15 files changed, 20 insertions(+), 17 deletions(-) delete mode 100644 assets/js/0fafd334.76a1f4d4.js create mode 100644 assets/js/0fafd334.e76035e2.js create mode 100644 assets/js/22dd74f7.011ee67d.js delete mode 100644 assets/js/22dd74f7.c2e8eb1b.js rename assets/js/{b5d444f3.ccb3d724.js => b5d444f3.fe3cf4a6.js} (96%) delete mode 100644 assets/js/runtime~main.076c0279.js create mode 100644 assets/js/runtime~main.44d08049.js diff --git a/404.html b/404.html index 04f38f8..e337593 100644 --- a/404.html +++ b/404.html @@ -4,7 +4,7 @@ SDF Research - + diff --git a/assets/js/0fafd334.76a1f4d4.js b/assets/js/0fafd334.76a1f4d4.js deleted file mode 100644 index 0a49580..0000000 --- a/assets/js/0fafd334.76a1f4d4.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[686],{3938:(e,n,s)=>{s.r(n),s.d(n,{assets:()=>c,contentTitle:()=>i,default:()=>h,frontMatter:()=>a,metadata:()=>o,toc:()=>d});var r=s(4848),t=s(8453);const a={sidebar_label:"News",sidebar_position:2,slug:"/news"},i="News",o={id:"news",title:"News",description:"3 papers accepted at the PODC 2024 conference!",source:"@site/docs/news.md",sourceDirName:".",slug:"/news",permalink:"/news",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:2,frontMatter:{sidebar_label:"News",sidebar_position:2,slug:"/news"},sidebar:"contentsSidebar",previous:{title:"Research at the SDF",permalink:"/"},next:{title:"Academic Research Grants",permalink:"/research-grants"}},c={},d=[{value:"3 papers accepted at the PODC 2024 conference!",id:"3-papers-accepted-at-the-podc-2024-conference",level:2}];function l(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",p:"p",ul:"ul",...(0,t.R)(),...e.components};return(0,r.jsxs)(r.Fragment,{children:[(0,r.jsx)(n.h1,{id:"news",children:"News"}),"\n",(0,r.jsxs)(n.h2,{id:"3-papers-accepted-at-the-podc-2024-conference",children:["3 papers accepted at the ",(0,r.jsx)(n.a,{href:"https://www.podc.org/podc2024/",children:"PODC 2024"})," conference!"]}),"\n",(0,r.jsx)(n.p,{children:"April 22nd, 2024"}),"\n",(0,r.jsxs)(n.ul,{children:["\n",(0,r.jsxs)(n.li,{children:["L. Zanolini, F. D\u2019Amato, G. Losa. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/10.1145/3662158.3662779",children:"Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2309.05347",children:"arXiv version"}),")"]}),"\n",(0,r.jsxs)(n.li,{children:["Q. Yu, G. Losa, X. Wang. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/abs/10.1145/3662158.3662783",children:"TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2405.02615",children:"arXiv version"}),")"]}),"\n",(0,r.jsxs)(n.li,{children:["G. Losa and E. Gafni. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/10.1145/3662158.3662786",children:"Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2405.03573",children:"arXiv version"}),")"]}),"\n"]})]})}function h(e={}){const{wrapper:n}={...(0,t.R)(),...e.components};return n?(0,r.jsx)(n,{...e,children:(0,r.jsx)(l,{...e})}):l(e)}},8453:(e,n,s)=>{s.d(n,{R:()=>i,x:()=>o});var r=s(6540);const t={},a=r.createContext(t);function i(e){const n=r.useContext(a);return r.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function o(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(t):e.components||t:i(e.components),r.createElement(a.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/0fafd334.e76035e2.js b/assets/js/0fafd334.e76035e2.js new file mode 100644 index 0000000..22a21ad --- /dev/null +++ b/assets/js/0fafd334.e76035e2.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[686],{3938:(e,n,s)=>{s.r(n),s.d(n,{assets:()=>c,contentTitle:()=>o,default:()=>h,frontMatter:()=>i,metadata:()=>a,toc:()=>l});var r=s(4848),t=s(8453);const i={sidebar_label:"News",sidebar_position:2,slug:"/news"},o="News",a={id:"news",title:"News",description:"Workshop on Formal Reasoning in Distributed Algorithms",source:"@site/docs/news.md",sourceDirName:".",slug:"/news",permalink:"/news",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:2,frontMatter:{sidebar_label:"News",sidebar_position:2,slug:"/news"},sidebar:"contentsSidebar",previous:{title:"Research at the SDF",permalink:"/"},next:{title:"Academic Research Grants",permalink:"/research-grants"}},c={},l=[{value:"Workshop on Formal Reasoning in Distributed Algorithms",id:"workshop-on-formal-reasoning-in-distributed-algorithms",level:2},{value:"3 papers accepted at the PODC 2024 conference!",id:"3-papers-accepted-at-the-podc-2024-conference",level:2}];function d(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",p:"p",ul:"ul",...(0,t.R)(),...e.components};return(0,r.jsxs)(r.Fragment,{children:[(0,r.jsx)(n.h1,{id:"news",children:"News"}),"\n",(0,r.jsx)(n.h2,{id:"workshop-on-formal-reasoning-in-distributed-algorithms",children:"Workshop on Formal Reasoning in Distributed Algorithms"}),"\n",(0,r.jsx)(n.p,{children:"August 13th, 2024"}),"\n",(0,r.jsxs)(n.p,{children:["Slides of the presentations are now available on the ",(0,r.jsx)(n.a,{href:"https://frida-2024.github.io/",children:"workshop's website"}),"."]}),"\n",(0,r.jsxs)(n.h2,{id:"3-papers-accepted-at-the-podc-2024-conference",children:["3 papers accepted at the ",(0,r.jsx)(n.a,{href:"https://www.podc.org/podc2024/",children:"PODC 2024"})," conference!"]}),"\n",(0,r.jsx)(n.p,{children:"April 22nd, 2024"}),"\n",(0,r.jsxs)(n.ul,{children:["\n",(0,r.jsxs)(n.li,{children:["L. Zanolini, F. D\u2019Amato, G. Losa. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/10.1145/3662158.3662779",children:"Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2309.05347",children:"arXiv version"}),")"]}),"\n",(0,r.jsxs)(n.li,{children:["Q. Yu, G. Losa, X. Wang. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/abs/10.1145/3662158.3662783",children:"TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2405.02615",children:"arXiv version"}),")"]}),"\n",(0,r.jsxs)(n.li,{children:["G. Losa and E. Gafni. ",(0,r.jsx)(n.a,{href:"https://dl.acm.org/doi/10.1145/3662158.3662786",children:"Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model"})," (",(0,r.jsx)(n.a,{href:"https://arxiv.org/abs/2405.03573",children:"arXiv version"}),")"]}),"\n"]})]})}function h(e={}){const{wrapper:n}={...(0,t.R)(),...e.components};return n?(0,r.jsx)(n,{...e,children:(0,r.jsx)(d,{...e})}):d(e)}},8453:(e,n,s)=>{s.d(n,{R:()=>o,x:()=>a});var r=s(6540);const t={},i=r.createContext(t);function o(e){const n=r.useContext(i);return r.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function a(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(t):e.components||t:o(e.components),r.createElement(i.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/22dd74f7.011ee67d.js b/assets/js/22dd74f7.011ee67d.js new file mode 100644 index 0000000..4235219 --- /dev/null +++ b/assets/js/22dd74f7.011ee67d.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[567],{5226:e=>{e.exports=JSON.parse('{"version":{"pluginId":"default","version":"current","label":"Next","banner":null,"badge":false,"noIndex":false,"className":"docs-version-current","isLast":true,"docsSidebars":{"contentsSidebar":[{"type":"link","label":"Research at the SDF","href":"/","docId":"welcome","unlisted":false},{"type":"link","label":"News","href":"/news","docId":"news","unlisted":false},{"type":"category","label":"Academic Research Grants","collapsible":true,"collapsed":true,"items":[{"type":"link","label":"Grantees","href":"/research-grants/grantees","docId":"research-grants/grantees","unlisted":false},{"type":"link","label":"Publications","href":"/research-grants/publications","docId":"research-grants/publications","unlisted":false}],"href":"/research-grants"},{"type":"link","label":"Workshops","href":"/workshops","docId":"workshops","unlisted":false},{"type":"link","label":"Publications","href":"/publications","docId":"publications","unlisted":false}]},"docs":{"news":{"id":"news","title":"News","description":"Workshop on Formal Reasoning in Distributed Algorithms","sidebar":"contentsSidebar"},"publications":{"id":"publications","title":"Publications co-authored by SDF researchers","description":"Eli Gafni and Giuliano Losa. \u201cBrief Announcement//doi.org/10.4230/LIPIcs.DISC.2023.41","sidebar":"contentsSidebar"},"research-grants/grantees":{"id":"research-grants/grantees","title":"Awarded research grants by quarter","description":"Q0 2024","sidebar":"contentsSidebar"},"research-grants/index":{"id":"research-grants/index","title":"Academic Research Grants","description":"The Stellar Development Foundation is soliciting proposals for scientific, technological, economic, and legal research advancing the foundation\u2019s goals of financial inclusion, fast and inexpensive cross-border payments, efficient decentralized markets, and other beneficial applications of blockchain technology.","sidebar":"contentsSidebar"},"research-grants/publications":{"id":"research-grants/publications","title":"Publications acknowledging SDF funding","description":"Sanjam Garg, Dimitris Kolonelos, Guru-Vamsi Policharla, and Mingyuan Wang. \\"Threshold Encryption with Silent Setup.\\" Cryptology ePrint Archive (2024). https://eprint.iacr.org/2024/263","sidebar":"contentsSidebar"},"welcome":{"id":"welcome","title":"Research at the Stellar Development Foundation","description":"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.","sidebar":"contentsSidebar"},"workshops":{"id":"workshops","title":"Scientific Workshops","description":"We help organize workshops that bring scientists together and spur scientific progress.","sidebar":"contentsSidebar"}}}}')}}]); \ No newline at end of file diff --git a/assets/js/22dd74f7.c2e8eb1b.js b/assets/js/22dd74f7.c2e8eb1b.js deleted file mode 100644 index 9c58f98..0000000 --- a/assets/js/22dd74f7.c2e8eb1b.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[567],{5226:e=>{e.exports=JSON.parse('{"version":{"pluginId":"default","version":"current","label":"Next","banner":null,"badge":false,"noIndex":false,"className":"docs-version-current","isLast":true,"docsSidebars":{"contentsSidebar":[{"type":"link","label":"Research at the SDF","href":"/","docId":"welcome","unlisted":false},{"type":"link","label":"News","href":"/news","docId":"news","unlisted":false},{"type":"category","label":"Academic Research Grants","collapsible":true,"collapsed":true,"items":[{"type":"link","label":"Grantees","href":"/research-grants/grantees","docId":"research-grants/grantees","unlisted":false},{"type":"link","label":"Publications","href":"/research-grants/publications","docId":"research-grants/publications","unlisted":false}],"href":"/research-grants"},{"type":"link","label":"Workshops","href":"/workshops","docId":"workshops","unlisted":false},{"type":"link","label":"Publications","href":"/publications","docId":"publications","unlisted":false}]},"docs":{"news":{"id":"news","title":"News","description":"3 papers accepted at the PODC 2024 conference!","sidebar":"contentsSidebar"},"publications":{"id":"publications","title":"Publications co-authored by SDF researchers","description":"Eli Gafni and Giuliano Losa. \u201cBrief Announcement//doi.org/10.4230/LIPIcs.DISC.2023.41","sidebar":"contentsSidebar"},"research-grants/grantees":{"id":"research-grants/grantees","title":"Awarded research grants by quarter","description":"Q1 2024","sidebar":"contentsSidebar"},"research-grants/index":{"id":"research-grants/index","title":"Academic Research Grants","description":"The Stellar Development Foundation is soliciting proposals for scientific, technological, economic, and legal research advancing the foundation\u2019s goals of financial inclusion, fast and inexpensive cross-border payments, efficient decentralized markets, and other beneficial applications of blockchain technology.","sidebar":"contentsSidebar"},"research-grants/publications":{"id":"research-grants/publications","title":"Publications acknowledging SDF funding","description":"Sanjam Garg, Dimitris Kolonelos, Guru-Vamsi Policharla, and Mingyuan Wang. \\"Threshold Encryption with Silent Setup.\\" Cryptology ePrint Archive (2024). https://eprint.iacr.org/2024/263","sidebar":"contentsSidebar"},"welcome":{"id":"welcome","title":"Research at the Stellar Development Foundation","description":"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.","sidebar":"contentsSidebar"},"workshops":{"id":"workshops","title":"Scientific Workshops","description":"We help organize workshops that bring scientists together and spur scientific progress.","sidebar":"contentsSidebar"}}}}')}}]); \ No newline at end of file diff --git a/assets/js/b5d444f3.ccb3d724.js b/assets/js/b5d444f3.fe3cf4a6.js similarity index 96% rename from assets/js/b5d444f3.ccb3d724.js rename to assets/js/b5d444f3.fe3cf4a6.js index d428560..c52e78d 100644 --- a/assets/js/b5d444f3.ccb3d724.js +++ b/assets/js/b5d444f3.fe3cf4a6.js @@ -1 +1 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[17],{8764:(e,n,r)=>{r.r(n),r.d(n,{assets:()=>l,contentTitle:()=>i,default:()=>o,frontMatter:()=>a,metadata:()=>h,toc:()=>c});var t=r(4848),s=r(8453);const a={sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},i="Awarded research grants by quarter",h={id:"research-grants/grantees",title:"Awarded research grants by quarter",description:"Q1 2024",source:"@site/docs/research-grants/grantees.md",sourceDirName:"research-grants",slug:"/research-grants/grantees",permalink:"/research-grants/grantees",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},sidebar:"contentsSidebar",previous:{title:"Academic Research Grants",permalink:"/research-grants"},next:{title:"Publications",permalink:"/research-grants/publications"}},l={},c=[{value:"Q1 2024",id:"q1-2024",level:2},{value:"Q4 2023",id:"q4-2023",level:2},{value:"Q3 2023",id:"q3-2023",level:2},{value:"Q2 2023",id:"q2-2023",level:2}];function d(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",ul:"ul",...(0,s.R)(),...e.components};return(0,t.jsxs)(t.Fragment,{children:[(0,t.jsx)(n.h1,{id:"awarded-research-grants-by-quarter",children:"Awarded research grants by quarter"}),"\n",(0,t.jsx)(n.h2,{id:"q1-2024",children:"Q1 2024"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html",children:"Peter M\xfcller"})," (",(0,t.jsx)(n.a,{href:"https://ethz.ch/en.html",children:"ETH"}),"), Practical Rust Verification"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://users.cs.utah.edu/~psoni/",children:"Pratik Soni"})," (",(0,t.jsx)(n.a,{href:"https://www.cs.utah.edu/",children:"The University of Utah"}),") and ",(0,t.jsx)(n.a,{href:"https://sites.google.com/view/sak-thyagarajan",children:"Sri AravindaKrishnan Thyagarajan"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Functional Payments from Adaptor Signatures"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q4-2023",children:"Q4 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.amitlevy.com/",children:"Amit Levy"})," (",(0,t.jsx)(n.a,{href:"https://www.princeton.edu/",children:"Princeton University"}),"), Interoperating in a World of Decentralized Applications"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://crypto.unibe.ch/cc/",children:"Christian Cachin"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), Efficiency of Anonymous and Private Decentralized Payments"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://alkistang.github.io/",children:"Qiang Tang"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Aggregatable and Auditable Tumbler for Stellar"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://spots.augusta.edu/caubert/",children:"Cl\xe9ment Aubert"})," (",(0,t.jsx)(n.a,{href:"https://www.augusta.edu/",children:"Augusta University"}),"), Formal Verification of Tiered-Privacy-Perserving Auditable Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.ziv.unibe.ch/about_us/personen/personen_abt_eggen/eggen_mirjam/index_eng.html",children:"Mirjam Eggen"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), The Value Proposition of a Retail CBDC"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q3-2023",children:"Q3 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://xuechao2.github.io/",children:"Xuechao Wang"})," (",(0,t.jsx)(n.a,{href:"https://www.hkust-gz.edu.cn/",children:"HKUST"}),"), Unveiling and Improving Unauthenticated BFT Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://cs.nyu.edu/~apanda/",children:"Aurojit Panda"})," (",(0,t.jsx)(n.a,{href:"https://www.nyu.edu",children:"NYU"}),"), Detecting and Reacting to Errors in Distributed Systems at Runtime"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q2-2023",children:"Q2 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://sites.google.com/site/shaileshhbv/",children:"Shaileshh Bojja Venkatakrishnan"})," (",(0,t.jsx)(n.a,{href:"https://engineering.osu.edu/",children:"OSU"}),"), Efficient Gossip and Topology Design in the Stellar Peer-to-Peer Network"]}),"\n"]})]})}function o(e={}){const{wrapper:n}={...(0,s.R)(),...e.components};return n?(0,t.jsx)(n,{...e,children:(0,t.jsx)(d,{...e})}):d(e)}},8453:(e,n,r)=>{r.d(n,{R:()=>i,x:()=>h});var t=r(6540);const s={},a=t.createContext(s);function i(e){const n=t.useContext(a);return t.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function h(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(s):e.components||s:i(e.components),t.createElement(a.Provider,{value:n},e.children)}}}]); \ No newline at end of file +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[17],{8764:(e,n,r)=>{r.r(n),r.d(n,{assets:()=>l,contentTitle:()=>i,default:()=>o,frontMatter:()=>a,metadata:()=>h,toc:()=>c});var t=r(4848),s=r(8453);const a={sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},i="Awarded research grants by quarter",h={id:"research-grants/grantees",title:"Awarded research grants by quarter",description:"Q0 2024",source:"@site/docs/research-grants/grantees.md",sourceDirName:"research-grants",slug:"/research-grants/grantees",permalink:"/research-grants/grantees",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Grantees",sidebar_position:1,slug:"/research-grants/grantees"},sidebar:"contentsSidebar",previous:{title:"Academic Research Grants",permalink:"/research-grants"},next:{title:"Publications",permalink:"/research-grants/publications"}},l={},c=[{value:"Q0 2024",id:"q0-2024",level:2},{value:"Q4 2023",id:"q4-2023",level:2},{value:"Q3 2023",id:"q3-2023",level:2},{value:"Q2 2023",id:"q2-2023",level:2}];function d(e){const n={a:"a",h1:"h1",h2:"h2",li:"li",ul:"ul",...(0,s.R)(),...e.components};return(0,t.jsxs)(t.Fragment,{children:[(0,t.jsx)(n.h1,{id:"awarded-research-grants-by-quarter",children:"Awarded research grants by quarter"}),"\n",(0,t.jsx)(n.h2,{id:"q0-2024",children:"Q0 2024"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html",children:"Peter M\xfcller"})," (",(0,t.jsx)(n.a,{href:"https://ethz.ch/en.html",children:"ETH"}),"), Practical Rust Verification"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://users.cs.utah.edu/~psoni/",children:"Pratik Soni"})," (",(0,t.jsx)(n.a,{href:"https://www.cs.utah.edu/",children:"The University of Utah"}),") and ",(0,t.jsx)(n.a,{href:"https://sites.google.com/view/sak-thyagarajan",children:"Sri AravindaKrishnan Thyagarajan"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Functional Payments from Adaptor Signatures"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q4-2023",children:"Q4 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.amitlevy.com/",children:"Amit Levy"})," (",(0,t.jsx)(n.a,{href:"https://www.princeton.edu/",children:"Princeton University"}),"), Interoperating in a World of Decentralized Applications"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://crypto.unibe.ch/cc/",children:"Christian Cachin"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), Efficiency of Anonymous and Private Decentralized Payments"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://alkistang.github.io/",children:"Qiang Tang"})," (",(0,t.jsx)(n.a,{href:"https://www.sydney.edu.au/",children:"The University of Sydney"}),"), Aggregatable and Auditable Tumbler for Stellar"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://spots.augusta.edu/caubert/",children:"Cl\xe9ment Aubert"})," (",(0,t.jsx)(n.a,{href:"https://www.augusta.edu/",children:"Augusta University"}),"), Formal Verification of Tiered-Privacy-Perserving Auditable Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://www.ziv.unibe.ch/about_us/personen/personen_abt_eggen/eggen_mirjam/index_eng.html",children:"Mirjam Eggen"})," (",(0,t.jsx)(n.a,{href:"https://www.unibe.ch/",children:"UNIBE"}),"), The Value Proposition of a Retail CBDC"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q3-2023",children:"Q3 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://xuechao2.github.io/",children:"Xuechao Wang"})," (",(0,t.jsx)(n.a,{href:"https://www.hkust-gz.edu.cn/",children:"HKUST"}),"), Unveiling and Improving Unauthenticated BFT Protocols"]}),"\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://cs.nyu.edu/~apanda/",children:"Aurojit Panda"})," (",(0,t.jsx)(n.a,{href:"https://www.nyu.edu",children:"NYU"}),"), Detecting and Reacting to Errors in Distributed Systems at Runtime"]}),"\n"]}),"\n",(0,t.jsx)(n.h2,{id:"q2-2023",children:"Q2 2023"}),"\n",(0,t.jsxs)(n.ul,{children:["\n",(0,t.jsxs)(n.li,{children:[(0,t.jsx)(n.a,{href:"https://sites.google.com/site/shaileshhbv/",children:"Shaileshh Bojja Venkatakrishnan"})," (",(0,t.jsx)(n.a,{href:"https://engineering.osu.edu/",children:"OSU"}),"), Efficient Gossip and Topology Design in the Stellar Peer-to-Peer Network"]}),"\n"]})]})}function o(e={}){const{wrapper:n}={...(0,s.R)(),...e.components};return n?(0,t.jsx)(n,{...e,children:(0,t.jsx)(d,{...e})}):d(e)}},8453:(e,n,r)=>{r.d(n,{R:()=>i,x:()=>h});var t=r(6540);const s={},a=t.createContext(s);function i(e){const n=t.useContext(a);return t.useMemo((function(){return"function"==typeof e?e(n):{...n,...e}}),[n,e])}function h(e){let n;return n=e.disableParentContext?"function"==typeof e.components?e.components(s):e.components||s:i(e.components),t.createElement(a.Provider,{value:n},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/runtime~main.076c0279.js b/assets/js/runtime~main.076c0279.js deleted file mode 100644 index 9095abe..0000000 --- a/assets/js/runtime~main.076c0279.js +++ /dev/null @@ -1 +0,0 @@ -(()=>{"use strict";var e,r,t,a,o,n={},f={};function i(e){var r=f[e];if(void 0!==r)return r.exports;var t=f[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,i),t.loaded=!0,t.exports}i.m=n,i.c=f,e=[],i.O=(r,t,a,o)=>{if(!t){var n=1/0;for(u=0;u=o)&&Object.keys(i.O).every((e=>i.O[e](t[d])))?t.splice(d--,1):(f=!1,o0&&e[u-1][2]>o;u--)e[u]=e[u-1];e[u]=[t,a,o]},i.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return i.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,i.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);i.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var f=2&a&&e;"object"==typeof f&&!~r.indexOf(f);f=t(f))Object.getOwnPropertyNames(f).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,i.d(o,n),o},i.d=(e,r)=>{for(var t in r)i.o(r,t)&&!i.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},i.f={},i.e=e=>Promise.all(Object.keys(i.f).reduce(((r,t)=>(i.f[t](e,r),r)),[])),i.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",184:"0b46e8e7",401:"17896441",567:"22dd74f7",579:"a6e0a6ed",647:"5e95c892",686:"0fafd334",742:"aba21aa0",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"ccb3d724",48:"39b0ae7e",98:"04e112fa",184:"9c6b2ac8",237:"aa8319e0",401:"b47d62ca",567:"c2e8eb1b",579:"5d040c77",647:"cad69aa1",686:"76a1f4d4",742:"8654868f",749:"5b6376ca",924:"cead0d45",934:"73dac651"}[e]+".js",i.miniCssF=e=>{},i.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),i.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",i.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var f,d;if(void 0!==t)for(var c=document.getElementsByTagName("script"),u=0;u{f.onerror=f.onload=null,clearTimeout(b);var o=a[e];if(delete a[e],f.parentNode&&f.parentNode.removeChild(f),o&&o.forEach((e=>e(t))),r)return r(t)},b=setTimeout(s.bind(null,void 0,{type:"timeout",target:f}),12e4);f.onerror=s.bind(null,f.onerror),f.onload=s.bind(null,f.onload),d&&document.head.appendChild(f)}},i.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},i.p="/",i.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","0b46e8e7":"184","22dd74f7":"567",a6e0a6ed:"579","5e95c892":"647","0fafd334":"686",aba21aa0:"742","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,i.p+i.u(e)},(()=>{var e={354:0,869:0};i.f.j=(r,t)=>{var a=i.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=i.p+i.u(r),f=new Error;i.l(n,(t=>{if(i.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;f.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",f.name="ChunkLoadError",f.type=o,f.request=n,a[1](f)}}),"chunk-"+r,r)}},i.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],f=t[1],d=t[2],c=0;if(n.some((r=>0!==e[r]))){for(a in f)i.o(f,a)&&(i.m[a]=f[a]);if(d)var u=d(i)}for(r&&r(t);c{"use strict";var e,r,t,a,o,n={},d={};function f(e){var r=d[e];if(void 0!==r)return r.exports;var t=d[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,f),t.loaded=!0,t.exports}f.m=n,f.c=d,e=[],f.O=(r,t,a,o)=>{if(!t){var n=1/0;for(u=0;u=o)&&Object.keys(f.O).every((e=>f.O[e](t[i])))?t.splice(i--,1):(d=!1,o0&&e[u-1][2]>o;u--)e[u]=e[u-1];e[u]=[t,a,o]},f.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return f.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var d=2&a&&e;"object"==typeof d&&!~r.indexOf(d);d=t(d))Object.getOwnPropertyNames(d).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,f.d(o,n),o},f.d=(e,r)=>{for(var t in r)f.o(r,t)&&!f.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((r,t)=>(f.f[t](e,r),r)),[])),f.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",184:"0b46e8e7",401:"17896441",567:"22dd74f7",579:"a6e0a6ed",647:"5e95c892",686:"0fafd334",742:"aba21aa0",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"fe3cf4a6",48:"39b0ae7e",98:"04e112fa",184:"9c6b2ac8",237:"aa8319e0",401:"b47d62ca",567:"011ee67d",579:"5d040c77",647:"cad69aa1",686:"e76035e2",742:"8654868f",749:"5b6376ca",924:"cead0d45",934:"73dac651"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",f.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var d,i;if(void 0!==t)for(var c=document.getElementsByTagName("script"),u=0;u{d.onerror=d.onload=null,clearTimeout(b);var o=a[e];if(delete a[e],d.parentNode&&d.parentNode.removeChild(d),o&&o.forEach((e=>e(t))),r)return r(t)},b=setTimeout(s.bind(null,void 0,{type:"timeout",target:d}),12e4);d.onerror=s.bind(null,d.onerror),d.onload=s.bind(null,d.onload),i&&document.head.appendChild(d)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","0b46e8e7":"184","22dd74f7":"567",a6e0a6ed:"579","5e95c892":"647","0fafd334":"686",aba21aa0:"742","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,f.p+f.u(e)},(()=>{var e={354:0,869:0};f.f.j=(r,t)=>{var a=f.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=f.p+f.u(r),d=new Error;f.l(n,(t=>{if(f.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;d.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",d.name="ChunkLoadError",d.type=o,d.request=n,a[1](d)}}),"chunk-"+r,r)}},f.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],d=t[1],i=t[2],c=0;if(n.some((r=>0!==e[r]))){for(a in d)f.o(d,a)&&(f.m[a]=d[a]);if(i)var u=i(f)}for(r&&r(t);c Research at the Stellar Development Foundation | SDF Research - + diff --git a/news.html b/news.html index 6b1ec98..70ea604 100644 --- a/news.html +++ b/news.html @@ -3,18 +3,21 @@ -News | SDF Research - +News | SDF Research +

News

+

Workshop on Formal Reasoning in Distributed Algorithms​

+

August 13th, 2024

+

Slides of the presentations are now available on the workshop's website.

3 papers accepted at the PODC 2024 conference!​

April 22nd, 2024

+
\ No newline at end of file diff --git a/publications.html b/publications.html index e5a6052..70b3d53 100644 --- a/publications.html +++ b/publications.html @@ -4,7 +4,7 @@ Publications co-authored by SDF researchers | SDF Research - + diff --git a/research-grants.html b/research-grants.html index 55d9188..26ba721 100644 --- a/research-grants.html +++ b/research-grants.html @@ -4,7 +4,7 @@ Academic Research Grants | SDF Research - + diff --git a/research-grants/grantees.html b/research-grants/grantees.html index 2534d24..9b168b6 100644 --- a/research-grants/grantees.html +++ b/research-grants/grantees.html @@ -3,13 +3,13 @@ -Awarded research grants by quarter | SDF Research - +Awarded research grants by quarter | SDF Research +
+
\ No newline at end of file diff --git a/research-grants/publications.html b/research-grants/publications.html index b40b616..132fd7e 100644 --- a/research-grants/publications.html +++ b/research-grants/publications.html @@ -4,7 +4,7 @@ Publications acknowledging SDF funding | SDF Research - + diff --git a/workshops.html b/workshops.html index 4e2ba1a..97ddd78 100644 --- a/workshops.html +++ b/workshops.html @@ -4,7 +4,7 @@ Scientific Workshops | SDF Research - +