BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20200308T020000 RDATE:20200308T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200715T231520Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200723T110000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200723T100000 DTSTAMP;VALUE=DATE-TIME:20200715T231520Z LAST-MODIFIED;VALUE=DATE-TIME:20200715T231520Z UID:http://calagator.org/events/1250477127 DESCRIPTION:The rise of machine learning (ML) and artificial intelligence (AI) have instigated significant interests in developing domain specifi c integrated circuits and architectures that can support the computation al demands of AI. These chips are commonly known as AI chips. AI chips\, both for training and inferencing\, have emerged out to be new areas of research and commercialization in semiconductor industry. Particularly\ , increasing emphasis has been placed on developing low-power AI chips f or edge applications where AI can be local\, distributed\, and seamlessl y integrated in sensors or other internet of things (IoT) devices for bu ilding naturally-autonomous systems. On the other-hand\, globalization o f semiconductor ecosystem has led to an era where achieving dominance on Microelectronics supply chain has become as exciting as the famous seri es “Game of Thrones” for not only the companies but also the countries. Furthermore\, the end of Moore’s Law of Scaling of traditional semicondu ctor transistors has added the climax to this situation as the developme nt and manufacturing of advanced process nodes for the next generation o f logic and memory devices get expensive driving most semiconductor indu stry in the US to be fabless. Interestingly\, advanced process nodes suc h as FINFETS\, 3D Transistors\, RRAMs/Memristors\, and 3D/Monolithic int egration and packaging approaches provide unsurpassed opportunities to a chieve the much desired On-Chip AI along with the primitives for impleme nting Hardware Security\, and Trust into the integrated circuits. This t alk will review some of these technologies and our research efforts in t hese areas.\n\nTags: galois\, tech talk\, Rashmi Jha\n\nImported from: h ttp://calagator.org/events/1250477127 URL:https://galois.com/blog/2020/07/public-tech-talk-on-chip-ai-hardware- security-and-trust-using-advanced-process-nodes/ SUMMARY:Public Tech Talk: "On-Chip AI\, Hardware Security\, and Trust Usi ng Advanced Process Nodes" by Dr. Rashmi Jha LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200710T232137Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200806T103000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200806T093000 DTSTAMP;VALUE=DATE-TIME:20200710T232137Z LAST-MODIFIED;VALUE=DATE-TIME:20200710T232137Z UID:http://calagator.org/events/1250477119 DESCRIPTION:The UTxO (unspent transaction output) model is the underlying data structure of Bitcoin\, which has since been extended to the Extend ed UTxO model. \;\n \;\nIt exists in code\, but what does it mean? I will give a novel mathematical model based on some strikingly simple type equations which -- for me at least -- make it easier to see what is structurally going on. I will describe how the equations can be used to obtain two further models\, one which is more abstract and one which is more concrete: \;\n \;\n* A universal algebra axiomatisation\, ex hibiting Blockchain as an algebraic structure and so implying a general mathematics *and* specific testable properties against which to verify a n EUTxO implementation\, and \;\n \;\n* An executable Haskell ref erence implementation \;\n\n\nTags: galois\, tech talk\, Jamie Gabbay \n\nImported from: http://calagator.org/events/1250477119 URL:https://galois.com/blog/2020/07/public-tech-talk-what-is-an-eutxo-blo ckchain/ SUMMARY:Public Tech Talk: "What is an EUTxO blockchain?" by Jamie Gabbay LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:2 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200826T195942Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200902T140000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20200902T130000 DTSTAMP;VALUE=DATE-TIME:20200826T195942Z LAST-MODIFIED;VALUE=DATE-TIME:20200826T195942Z UID:http://calagator.org/events/1250477246 DESCRIPTION:Increasing set of functionalities\, network interoperability\ , and system design complexity have introduced easily exploitable securi ty vulnerabilities in cyber-physical systems (CPS). Furthermore\, the ti ght interaction between information technology and physical world\, as w ell as the rising levels of autonomy\, make these systems vulnerable to attacks beyond the standard cyber-attacks\; relying exclusively on conve ntional security techniques may be unfeasible due to resource-constraint s and long system lifetime. Consequently\, there is a need to change the way we reason about security in CPS\, and start designing platform-awar e attack-resilient components and architectures capable providing strong safety and performance guarantees even under attack. In this talk\, I w ill present research challenges and our recent efforts in this domain\, starting from cyber-physical security techniques that (a) capture effect s of attacks on system performance\, (b) introduce attack-resilience int o components at each level of the autonomy stack\, and (c) enable mappin g of the desired Quality-of-Control (QoC) under attack guarantees into r eal-time platform requirements in way that supports design-time tradeoff s between the QoC under attack and security-related overhead. For system s with varying levels of autonomy and human interaction\, I will also sh ow how we can exploit human power of inductive reasoning and the ability to provide context\, to improve the overall security guarantees. Finall y\, I will present how we can capture security-related CPS specification as hyperproperties\, and introduce statistical model checking methods t o check such specifications.\n\nTags: galois\, tech talk\, Miroslav Paji c\n\nImported from: http://calagator.org/events/1250477246 URL:https://galois.com/blog/2020/08/public-tech-talk-security-aware-cyber -physical-systems-with-varying-levels-of-autonomy/ SUMMARY:Public Tech Talk: "Security-Aware Cyber-Physical Systems with Var ying Levels of Autonomy" by Dr. Miroslav Pajic LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200910T214419Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20201007T103000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20201007T093000 DTSTAMP;VALUE=DATE-TIME:20200910T214419Z LAST-MODIFIED;VALUE=DATE-TIME:20200910T214419Z UID:http://calagator.org/events/1250477296 DESCRIPTION:In the real world\, people join humanity\, grow up trusting v ery different quorums from one another\, and they may change their quoru ms with time. In technical terms we could call this an open permissionl ess system with mutable local quorums. \;\n \;\nOne might expect such a system to be a jumbled disorder — and yet\, somehow\, it self-or ganises into uniform areas of fairly stable consensus. One might almost suspect there could be some deep mathematical principles involved!  3\;\n \;\nIn this talk I will discuss consensus in a permissionless o pen system with mutable local quorums\, and show how a topological view of the system gives a clean mathematical analysis with surprisingly good explanatory power.\n\nTags: galois\, tech talk\, Jamie Gabbay\n\nImport ed from: http://calagator.org/events/1250477296 URL:https://galois.com/blog/2020/09/public-tech-talk-a-semi-topological-v iew-of-real-world-consensus/ SUMMARY:Public Tech Talk: "A Semi-Topological View of Real-World Consensu s" by Dr. Jamie Gabbay LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20200916T174116Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20201016T140000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20201016T123000 DTSTAMP;VALUE=DATE-TIME:20200916T174116Z LAST-MODIFIED;VALUE=DATE-TIME:20200916T174116Z UID:http://calagator.org/events/1250477303 DESCRIPTION:Secure multi-party computation (MPC) allows multiple parties\ , each holding private data that they are unwilling to share\, to collab orate to perform computations over their data\, while revealing nothing other than the result. The theory behind secure computation is already 35 years old\, but in the last 15 years researchers in the field have de monstrated tremendous improvement in performance. Today\, a confluence of factors are driving an increased interest in secure computation\, bot h in the public domain and in industry\, including the advancements in M PC mentioned above\, the explosion in the volume of private user data be ing generated\, and the advancements in machine learning that are being deployed to leverage that private data. \;\n \;\nIn this talk\, I will give an overview of several of my recent results that has helped scale the performance of secure computation. In the first half of the t alk\, I will focus on the setting where we have large volumes of data an d a secure computation that is out-source to a small number of servers — the Few-PC setting. I will focus on a security relaxation that allows us to improve communication costs asymptotically and concretely for a la rge class of computations. In the second half of the talk\, I will desc ribe several results that allow us to scale MPC to thousands or even mil lions of parties\, by demonstrating a protocol that requires less commun ication and computation from each participant as the number of participa nts grows.\n\nTags: galois\, tech talk\, Dov Gordon\n\nImported from: ht tp://calagator.org/events/1250477303 URL:https://galois.com/blog/2020/09/public-tech-talk-some-recent-results- in-secure-computation/ SUMMARY:Public Tech Talk: "Some Recent Results in Secure Computation" by Dr. Dov Gordon LOCATION:This talk will be live-streamed and is open to the public. To re ceive Zoom meeting information\, send an email request to: techtalkcoord inator@galois.com: false SEQUENCE:1 END:VEVENT END:VCALENDAR