Filters

14 Hits in 3.5 sec

The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity [chapter]

Giuseppe Castagna, Francesco Zappa Nardelli
<span title="">2002</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present a new version of the Seal Calculus, a calculus of mobile computation. We study observational congruence and bisimulation theory, and show how they are related.  ...  In this paper we present a 'revised' version of the Seal Calculus that shares with the original version part of its syntax and all the design guiding principles, while gets rid of the redundant aspects  ...  We prove that the bisimilarity is a congruence and is sound with respect to (i.e. contained in) the contextual equivalence.  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36206-1_9">doi:10.1007/3-540-36206-1_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6mxempovrrf2fastiuh4vs57hi">fatcat:6mxempovrrf2fastiuh4vs57hi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224213326/http://pdfs.semanticscholar.org/5dfe/2cce13daac4b03e8e497d5ae5467b44dc6a2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5d/fe/5dfe2cce13daac4b03e8e497d5ae5467b44dc6a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36206-1_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce
<span title="2004-01-01">2004</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We define λ seal , an untyped call-by-value λ-calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with respect to contextual  ...  equivalence.  ...  Acknowledgements We would like to thank Martín Abadi, Andre Scedrov, Naoki Kobayashi, and the members of Programming Language Club at the University of Pennsylvania for suggestions and support throughout  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/982962.964015">doi:10.1145/982962.964015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3a5ygamor5bwtnwfvx7gtijr2u">fatcat:3a5ygamor5bwtnwfvx7gtijr2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809233404/http://cis.upenn.edu/~bcpierce/papers/infohide3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/d7/28d7eade19b343db6db0c0270f24e819f4dd5a9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/982962.964015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;04</a> </i> &nbsp;
We define λ seal , an untyped call-by-value λ-calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with respect to contextual  ...  equivalence.  ...  Acknowledgements We would like to thank Martín Abadi, Andre Scedrov, Naoki Kobayashi, and the members of Programming Language Club at the University of Pennsylvania for suggestions and support throughout  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/964001.964015">doi:10.1145/964001.964015</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/SumiiP04.html">dblp:conf/popl/SumiiP04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7lrf7drgfvgypbms66rhkrau6u">fatcat:7lrf7drgfvgypbms66rhkrau6u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809233404/http://cis.upenn.edu/~bcpierce/papers/infohide3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/d7/28d7eade19b343db6db0c0270f24e819f4dd5a9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/964001.964015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
We define λ seal , an untyped call-by-value λ-calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with respect to contextual  ...  equivalence.  ...  Acknowledgements We would like to thank Martín Abadi, Andre Scedrov, Naoki Kobayashi, and the members of Programming Language Club at the University of Pennsylvania for suggestions and support throughout  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.12.032">doi:10.1016/j.tcs.2006.12.032</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uhmz3kpxy5b6pi5fg7pmpwyixe">fatcat:uhmz3kpxy5b6pi5fg7pmpwyixe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809233404/http://cis.upenn.edu/~bcpierce/papers/infohide3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/28/d7/28d7eade19b343db6db0c0270f24e819f4dd5a9b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.12.032"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Page 8149 of Mathematical Reviews Vol. , Issue 2004j [page]

<span title="">2004</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
mobile boxed ambients (71-84); Giuseppe Castagna and Francesco Zappa Nardelli, The seal calculus revisited: contextual equivalence and bisimilarity (85-96); Federico Crazzolara and Glynn Winskel, Composing  ...  Ralf Kiisters and Thomas Wilke, Deciding the first level of the uw-calculus alternation hierarchy (241-252); Martin Leucker, P.  ...
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-10_2004j/page/8149" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004-10_2004j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Open bisimulation for aspects

<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/scibxvvu3nguvnnafnqcwt7lcy" style="color: black;">Proceedings of the 6th international conference on Aspect-oriented software development - AOSD &#39;07</a> </i> &nbsp;
We define bisimilarity for an aspect extension of the untyped lambda calculus and prove that it is sound and complete for contextual reasoning about programs.  ...  After a discussion of related work, we present the core language in Section 3, including a definition of contextual equivalence and examples.  ...  His suggestions were key to clarifying the proof of soundness. Of course the authors are responsible for any errors and omissions in all proofs. James Riely was supported by NSF Career 0347542.  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1218563.1218577">doi:10.1145/1218563.1218577</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aosd/JagadeesanPR07.html">dblp:conf/aosd/JagadeesanPR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qg7mug763ncjhbtmsagz57gisi">fatcat:qg7mug763ncjhbtmsagz57gisi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112413/http://fpl.cs.depaul.edu/jriely/papers/2007-aop-bisim-full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/ec/feecc3c5fc2adb146b9bbeafd8e9b448f07d20a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1218563.1218577"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Open Bisimulation for Aspects [chapter]

<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We define bisimilarity for an aspect extension of the untyped lambda calculus and prove that it is sound and complete for contextual reasoning about programs.  ...  After a discussion of related work, we present the core language in Section 3, including a definition of contextual equivalence and examples.  ...  His suggestions were key to clarifying the proof of soundness. Of course the authors are responsible for any errors and omissions in all proofs. James Riely was supported by NSF Career 0347542.  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02059-9_3">doi:10.1007/978-3-642-02059-9_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zht7z67v7jcbnj7oaqvhhpipku">fatcat:zht7z67v7jcbnj7oaqvhhpipku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112413/http://fpl.cs.depaul.edu/jriely/papers/2007-aop-bisim-full.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fe/ec/feecc3c5fc2adb146b9bbeafd8e9b448f07d20a4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02059-9_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Jonathan Aldrich
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program.  ...  Advice can help to make programs more modular by separating crosscutting concerns more effectively, but it also challenges existing ideas about modularity and separate development.  ...  Thus, the expressions are contextually equivalent in this case as well.  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11531142_7">doi:10.1007/11531142_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c5oso34d7rfy5iuxs7gyggn66i">fatcat:c5oso34d7rfy5iuxs7gyggn66i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081031235114/http://www.cs.cmu.edu/~aldrich/papers/ecoop05open-modules.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5d/cc/5dcc5c230a423b42a3dd7f292fc2fd55c50feab8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11531142_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Behavioural Theory for Mobile Ambients [chapter]

Massimo Merro, Francesco Zappa Nardelli
<i title="Kluwer Academic Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4bk4ydub5vauzozsnu3no4kpaa" style="color: black;">IFIP International Federation for Information Processing</a> </i> &nbsp;
We prove a context lemma that allows the derivation of contextual equivalences by considering only contexts for concurrency and locality.  ...  We study the behavioural theory of Cardelli and Gordon's Mobile Ambients' by focusing on a standard contextual equivalence' reduction barbed congruence.  ...  Other forms of labelled bisimilarity for higherorder distributed calculi‚ such as Safe Ambients [14]‚ Distributed [12]‚ Safe [11] Seal [21]‚ Nomadic Pict [19]‚ a Calculus for Mobile Resources [8]‚ can  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-8141-3_42">doi:10.1007/1-4020-8141-3_42</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ifipTCS/MerroN04.html">dblp:conf/ifipTCS/MerroN04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gsexqnzhjzcm5ke3yymytwj4oq">fatcat:gsexqnzhjzcm5ke3yymytwj4oq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030112008/https://link.springer.com/content/pdf/10.1007%2F1-4020-8141-3_42.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/1c/d21cbbfc2d16754f08c2f97fe774ab4e75aac4d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/1-4020-8141-3_42"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Page 2320 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(English summary) 2004h:68096 Castagna, Giuseppe (with Zappa Nardelli, Francesco) The seal calculus revisited: contextual equivalence and bisimilarity.  ...  General parameterised refinement and recursion for the M-net calculus.  ...
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004_index_0/page/2320" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004_index_0/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 1954 of Mathematical Reviews Vol. , Issue Subject Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
., 2002h:68146 Charron-Bost, Bernadette (with Toueg, Sam; Basu, Anindya) Revisiting safety and liveness in the context of failures.  ...  (English summary) (see 2002k:68012) Castagna, Giuseppe (with Ghelli, Giorgio; Nardelli, Francesco Zappa) Typing mobility in COMPUTER SCIENCE the seal calculus.  ...
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002_subject-index_0/page/1954" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2002_subject-index_0/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 2843 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(Summary) 2004j:35024 35B27 (35A15, 49J45) Zappa Nardelli, Francesco (with Castagna, Giuseppe) The seal calculus revisited: contextual equivalence and bisimilarity.  ...  (see 2004j:68011) 68Q85 Zappe, Jalia Modal w-calculus and alternating tree automata. Automata, logics, and infinite games, 171-184, Lecture Notes in Comput.  ...
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004_index_2/page/2843" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004_index_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 359 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(see 2004m:91008) 28E10 (26E50, 91B02) Castagna, Giuseppe (with Zappa Nardelli, Francesco) The seal calculus revisited: contextual equivalence and bisimilarity.  ...  Castaiio Iglesias, Florencio (with Gomez-Torrecillas, José; Wisbauer, Robert) Adjoint functors and equivalence of subcategories. (English and French summaries) Bull. Sci.  ...
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004_index_1/page/359" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_2004_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Prêt à Voter Providing Everlasting Privacy [chapter]

Denise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We thank the anonymous reviewers for their thorough reviews and appreciate the comments and suggestions.  ...  and in part by the German Federal Ministry of Education and Research (BMBF) via the project "BoRoVo -BoardRoomVoting".  ...  The identified metaphors, sealed and protected ballot box and sealed envelope, can be exploited to communicate individual verifiability.  ...
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39185-9_10">doi:10.1007/978-3-642-39185-9_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5dkjajb5rjfstef4csslxlu4cm">fatcat:5dkjajb5rjfstef4csslxlu4cm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160923203519/http://orbilu.uni.lu/bitstream/10993/25426/1/VoteIDProceedings.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/f2/ddf2a1125cee35304cf17efb8972084d427217af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39185-9_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>