2 Search Results for "Seifert, Jean-Pierre"


Document
Foundations of Secure Scaling (Dagstuhl Seminar 16342)

Authors: Lejla Batina, Swarup Bhunia, Patrick Schaumont, and Jean-Pierre Seifert

Published in: Dagstuhl Reports, Volume 6, Issue 8 (2017)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 16342 "Foundations of Secure Scaling". This seminar hosted researchers in secure electronic system design, spanning all abstraction levels from cryptographic engineering over chip design to system integration. We recognize that scaling is a fundamental force present at every abstraction level in electronic system design. While scaling is generally thought of as beneficial to the resulting implementations, this does not hold for secure electronic design. Indeed, the relations between scaling and the resulting security are poorly understood. This seminar facilitated the discussion between security experts at different abstraction levels in order to uncover the links between scaling and the resulting security.

Cite as

Lejla Batina, Swarup Bhunia, Patrick Schaumont, and Jean-Pierre Seifert. Foundations of Secure Scaling (Dagstuhl Seminar 16342). In Dagstuhl Reports, Volume 6, Issue 8, pp. 65-90, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{batina_et_al:DagRep.6.8.65,
  author =	{Batina, Lejla and Bhunia, Swarup and Schaumont, Patrick and Seifert, Jean-Pierre},
  title =	{{Foundations of Secure Scaling (Dagstuhl Seminar 16342)}},
  pages =	{65--90},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{8},
  editor =	{Batina, Lejla and Bhunia, Swarup and Schaumont, Patrick and Seifert, Jean-Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.8.65},
  URN =		{urn:nbn:de:0030-drops-68387},
  doi =		{10.4230/DagRep.6.8.65},
  annote =	{Keywords: Cryptographic Engineering, Very Large Scale Integration, Secure Hardware Design, Technology Scaling, Complexity Scaling, Secure Evaluation}
}
Document
The Seifert-van Kampen Theorem in Homotopy Type Theory

Authors: Kuen-Bang Hou (Favonia) and Michael Shulman

Published in: LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)


Abstract
Homotopy type theory is a recent research area connecting type theory with homotopy theory by interpreting types as spaces. In particular, one can prove and mechanize type-theoretic analogues of homotopy-theoretic theorems, yielding "synthetic homotopy theory". Here we consider the Seifert-van Kampen theorem, which characterizes the loop structure of spaces obtained by gluing. This is useful in homotopy theory because many spaces are constructed by gluing, and the loop structure helps distinguish distinct spaces. The synthetic proof showcases many new characteristics of synthetic homotopy theory, such as the "encode-decode" method, enforced homotopy-invariance, and lack of underlying sets.

Cite as

Kuen-Bang Hou (Favonia) and Michael Shulman. The Seifert-van Kampen Theorem in Homotopy Type Theory. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 62, pp. 22:1-22:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@InProceedings{hou(favonia)_et_al:LIPIcs.CSL.2016.22,
  author =	{Hou (Favonia), Kuen-Bang and Shulman, Michael},
  title =	{{The Seifert-van Kampen Theorem in Homotopy Type Theory}},
  booktitle =	{25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
  pages =	{22:1--22:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-022-4},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{62},
  editor =	{Talbot, Jean-Marc and Regnier, Laurent},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.22},
  URN =		{urn:nbn:de:0030-drops-65626},
  doi =		{10.4230/LIPIcs.CSL.2016.22},
  annote =	{Keywords: homotopy type theory, fundamental group, homotopy pushout, mechanized reasoning}
}
  • Refine by Author
  • 1 Batina, Lejla
  • 1 Bhunia, Swarup
  • 1 Hou (Favonia), Kuen-Bang
  • 1 Schaumont, Patrick
  • 1 Seifert, Jean-Pierre
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Complexity Scaling
  • 1 Cryptographic Engineering
  • 1 Secure Evaluation
  • 1 Secure Hardware Design
  • 1 Technology Scaling
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2016
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail