Filters








2,106 Hits in 4.0 sec

Distributed Verification of Mixing - Local Forking Proofs Model [chapter]

Jacek Cichoń, Marek Klonowski, Mirosław Kutyłowski
<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;
Local Forking Proofs Cicho ń, Klonowski, Kutyłowski Anonymity mixing applications Building blocks de-& re-encryption proofs of knowledge Standard techniques RPC verifiable mixing Forking proofs local verifiability  ...  Local Forking Proofs Cicho ń, Klonowski, Kutyłowski Anonymity mixing applications Building blocks de-& re-encryption proofs of knowledge Standard techniques RPC verifiable mixing Forking proofs local verifiability  ...  Forking proofs Forking proofs Forking proofs Forking proofs it is hard to infect somebody new, but local verifiability process local verifiability process local verifiability process local verifiability  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-70500-0_10">doi:10.1007/978-3-540-70500-0_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3xtg5ufwujahbk6alv3ic3667u">fatcat:3xtg5ufwujahbk6alv3ic3667u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161013004057/http://kutylowski.im.pwr.wroc.pl/articles/miotelki-presentation.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/e5/a3/e5a3f85512d8713a1fc6c1577d8cbc8e2e8a5da2.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-540-70500-0_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Information propagation in the Bitcoin network

Christian Decker, Roger Wattenhofer
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ob4nyu5my5hp5hj6r33huq53xu" style="color: black;">IEEE P2P 2013 Proceedings</a> </i> &nbsp;
Instead Bitcoin relies on a network of volunteers that collectively implement a replicated ledger and verify transactions.  ...  Blockchain forks should be avoided as they are symptomatic for inconsistencies among the replicas in the network.  ...  Model The proof-of-work causes valid blocks to be found independently at random.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/p2p.2013.6688704">doi:10.1109/p2p.2013.6688704</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/p2p/DeckerW13.html">dblp:conf/p2p/DeckerW13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l5qcptrmybcq3jyfqw2q7vewse">fatcat:l5qcptrmybcq3jyfqw2q7vewse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170904200441/http://www.gsd.inesc-id.pt/~ler/docencia/rcs1314/papers/P2P2013_041.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/de/b1/deb1c04f3584a59b489e9582b244c10c7f9b20cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/p2p.2013.6688704"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Multi-signatures in the plain public-Key model and a general forking lemma

Mihir Bellare, Gregory Neven
<span title="">2006</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rau5643b7ncwvh74y6p64hntle" style="color: black;">Proceedings of the 13th ACM conference on Computer and communications security - CCS &#39;06</a> </i> &nbsp;
The proof is based on a simplified and general Forking Lemma that may be of independent interest.  ...  , concurrent zero-knowledge proofs of knowledge of secret keys done to the CA at key registration.  ...  (In our view, the Forking Lemma is something purely probabilistic, not about signatures. Previous Forking Lemmas mixed these things up.)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1180405.1180453">doi:10.1145/1180405.1180453</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ccs/BellareN06.html">dblp:conf/ccs/BellareN06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ylqlbfc7gncwvgvgvik2ap5gs4">fatcat:ylqlbfc7gncwvgvgvik2ap5gs4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120124193329/http://cseweb.ucsd.edu/~mihir/papers/multisignatures-ccs.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/9d/de/9dde09e003f8200400567b0c7be7c60679daaa3c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1180405.1180453"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain [chapter]

Bernardo David, Peter Gaži, Aggelos Kiayias, Alexander Russell
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
can corrupt any participant of a dynamically evolving population of stakeholders at any moment as long the stakeholder distribution maintains an honest majority of stake; furthermore, the protocol tolerates  ...  Our security proof develops a general combinatorial framework for the analysis of semi-synchronous blockchains that may be of independent interest.  ...  Any discrepancies between parties' local time are insignificant in comparison with the length of time represented by a slot. Security Model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-78375-8_3">doi:10.1007/978-3-319-78375-8_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zddnvclil5bs3imgaxczw5dfi4">fatcat:zddnvclil5bs3imgaxczw5dfi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171222050710/https://eprint.iacr.org/2017/573.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/03/de/03ded6b7350034133951a90cb71c7b4e24bf2b46.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-319-78375-8_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Version Control Is for Your Data Too

Gowtham Kaki, KC Sivaramakrishnan, Suresh Jagannathan, Michael Wagner
<span title="2019-06-21">2019</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bb7oivxuurg43dq3klfeqfid7i" style="color: black;">Summit on Advances in Programming Languages</a> </i> &nbsp;
Building on this observation, we propose a distributed programming model, called carmot that views distributed shared state as an entity evolving in time, manifested as a sequence of persistent versions  ...  The primary purpose of a DVCS is to maintain integrity of source code in the presence of concurrent, possibly conflicting edits from collaborators.  ...  Unlike computing proof-of-work, verification is expected to be easy, i.e., the computational problem should ideally be NP-complete.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.snapl.2019.8">doi:10.4230/lipics.snapl.2019.8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/snapl/KakiSJ19.html">dblp:conf/snapl/KakiSJ19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gjltqhoxirhr3mj3cgqwrwa2sm">fatcat:gjltqhoxirhr3mj3cgqwrwa2sm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123035938/https://drops.dagstuhl.de/opus/volltexte/2019/10551/pdf/LIPIcs-SNAPL-2019-8.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/e3/3a/e33aa2bce8b74d875e4ac64fb989ae911b36f688.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.snapl.2019.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A New Hybrid Consensus Protocol: Deterministic Proof Of Work [article]

Zhuan Cheng, Gang Wu, Hao Wu, Muxing Zhao, Liang Zhao, Qingfeng Cai
<span title="2018-11-14">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In addition, the protocol is designed such that forking cannot occur, ensuring strong consistency and security against a multitude of attacks.  ...  In this paper, we propose a new hybrid consensus protocol, called Deterministic Proof of Work (DPoW), which can reach high levels of scalability and consistency without significant reduction to decentralization  ...  If the miner obtains the proof of work, he will submit it to the sharding server. 3. The sharding server will then submit the proof of work and wait for verification.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.04142v2">arXiv:1808.04142v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c7plgq2ucjdt3hzfod3u4jnaeq">fatcat:c7plgq2ucjdt3hzfod3u4jnaeq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200907172208/https://arxiv.org/pdf/1808.04142v2.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/b7/7c/b77cf3bd5c450e10e7e428f9997906e92073b5ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.04142v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic [article]

Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Léon Gondelman, Abel Nieto, Lars Birkedal
<span title="2021-09-16">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This unification enables us to prove formally in the Coq proof assistant that concrete implementations of challenging distributed systems refine more abstract models and to combine refinement-style reasoning  ...  with Hoare-style program verification.  ...  During parts of this project Amin Timany was a postdoctoral fellow of the Flemish research fund (FWO).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.07863v1">arXiv:2109.07863v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mguem5ifpbbmvosczv3dxkcbv4">fatcat:mguem5ifpbbmvosczv3dxkcbv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210922134043/https://arxiv.org/pdf/2109.07863v1.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/8a/01/8a016523c57e8284ae7f0f18e1163fa060388021.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.07863v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Verifying the Consistency of Remote Untrusted Services with Commutative Operations [chapter]

Christian Cachin, Olga Ohrimenko
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The paper gives a precise model for the guarantees of COP and includes a formal analysis that these are achieved.  ...  This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability in any other case.  ...  Definitions System model. We consider an asynchronous distributed system with n clients, C 1 , . . . , C n and a server S, modeled as processes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-14472-6_1">doi:10.1007/978-3-319-14472-6_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ww5r322d5re7xiseosyd7pekla">fatcat:ww5r322d5re7xiseosyd7pekla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151009195420/http://www.zurich.ibm.com/%7Ecca/papers/flcomm.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/66/fe6693bdd8ad5b28edb0754c47c695e324030586.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-319-14472-6_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Bitcoin and Beyond: A Technical Survey on Decentralized Digital Currencies

Florian Tschorsch, Bjorn Scheuermann
<span title="">2016</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b4kxurpz5vbn7gog6wq32vliii" style="color: black;">IEEE Communications Surveys and Tutorials</a> </i> &nbsp;
In the process, we deduce the fundamental structures and insights at the core of the Bitcoin protocol and its applications.  ...  Besides attracting a billion dollar economy, Bitcoin revolutionized the field of digital currencies and influenced many adjacent areas. This also induced significant scientific interest.  ...  The hash tree enables the verification of transactions without the need for a complete local copy of all transactions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/comst.2016.2535718">doi:10.1109/comst.2016.2535718</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xmdaafdgsvc6tam2kzmaeyorta">fatcat:xmdaafdgsvc6tam2kzmaeyorta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161027092746/https://eprint.iacr.org/2015/464.pdf?utm_source=bitcoinweekly&amp;utm_medium=email" 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/01/f1/01f187c3f0390123e70e01f824101bf771e76b8f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/comst.2016.2535718"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Survey on Security and Privacy Issues of Bitcoin

Mauro Conti, Sandeep Kumar E, Chhagan Lal, Sushmita Ruj
<span title="">2018</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b4kxurpz5vbn7gog6wq32vliii" style="color: black;">IEEE Communications Surveys and Tutorials</a> </i> &nbsp;
The security of Bitcoin heavily relies on the incentive-compatible proof-of-work (PoW) based distributed consensus pro-tocol, which is run by network nodes called miners.  ...  Bitcoin is a popular cryptocurrency that records alltransactions in a distributed append-only public ledger calledblockchain.  ...  DoS, sybil, and intersection attacks, plausible deniability, low mixing time, and scalability of the mixing groups. • Distributed mixing networks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/comst.2018.2842460">doi:10.1109/comst.2018.2842460</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dueceve54nhlzdk3vrpmbb6oc4">fatcat:dueceve54nhlzdk3vrpmbb6oc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191015062727/https://arxiv.org/pdf/1706.00916v2.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/3b/b13b9627846d6e9292185d6fbeca2eb941ab08bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/comst.2018.2842460"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

Hugues Evrard, Frédéric Lang
<span title="">2017</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/75odiq25o5gtzcy4h7mdcztb5y" style="color: black;">Journal of Logical and Algebraic Methods in Programming</a> </i> &nbsp;
Formal process languages inheriting the concurrency and communication features of process algebras are convenient formalisms to model distributed applications, especially when they are equipped with formal  ...  In this paper, we present DLC, a compiler that enables distributed code to be generated from models written in a formal process language called LNT, which is equipped with a rich verification toolbox named  ...  However, formal models of distributed systems must eventually be translated into a distributed implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlamp.2016.09.002">doi:10.1016/j.jlamp.2016.09.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/glwgfjv7yfh7la7zjyrmr6pf5y">fatcat:glwgfjv7yfh7la7zjyrmr6pf5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170625204917/https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.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/e4/8e/e48e2c854f4efdf878bc9bfa15fe0b16784b2092.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlamp.2016.09.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Security and Privacy on Blockchain [article]

Rui Zhang, Rui Xue, Ling Liu
<span title="2019-08-16">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
, anonymous signatures, non-interactive zero-knowledge proof, and so forth.  ...  Finally, we review the security and privacy techniques for achieving these security properties in blockchain-based systems, including representative consensus algorithms, hash chained storage, mixing protocols  ...  of security: The UTXO model maintains a Merkle proof of ownership for all BTC instances for each user.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.07602v2">arXiv:1903.07602v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tyoyeyyvv5ggde3eqopytdqly4">fatcat:tyoyeyyvv5ggde3eqopytdqly4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200929212009/https://arxiv.org/pdf/1903.07602v2.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/b4/c3/b4c3ae7667cc4c64ba6cf7114ab3be0b163312cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.07602v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon, Derek Dreyer, Lars Birkedal
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP &#39;13</a> </i> &nbsp;
After motivating the features of CaReSL through a variety of illustrative examples, we demonstrate its effectiveness by using it to tackle a significant case study: the first formal proof of (partial)  ...  In this paper, we present CaReSL, the first logic to support the use of granularity abstraction for modular verification of higher-order concurrent programs.  ...  Acknowledgments We would like to thank David Swasey for his careful reading of both the paper and its appendix. This work was partially funded by the EC FET project ADVENT.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2500365.2500600">doi:10.1145/2500365.2500600</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/TuronDB13.html">dblp:conf/icfp/TuronDB13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7xzlsn5qhjgljh3gt66xjq44oy">fatcat:7xzlsn5qhjgljh3gt66xjq44oy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922013426/https://people.mpi-sws.org/~turon/caresl/caresl.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/8b/88/8b88a7f224baf405748c040e4dd4fced006003fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2500365.2500600"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon, Derek Dreyer, Lars Birkedal
<span title="2013-11-12">2013</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;
After motivating the features of CaReSL through a variety of illustrative examples, we demonstrate its effectiveness by using it to tackle a significant case study: the first formal proof of (partial)  ...  In this paper, we present CaReSL, the first logic to support the use of granularity abstraction for modular verification of higher-order concurrent programs.  ...  Acknowledgments We would like to thank David Swasey for his careful reading of both the paper and its appendix. This work was partially funded by the EC FET project ADVENT.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544174.2500600">doi:10.1145/2544174.2500600</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v2zxoi27gjgvzjqavp6tg24rfm">fatcat:v2zxoi27gjgvzjqavp6tg24rfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922013426/https://people.mpi-sws.org/~turon/caresl/caresl.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/8b/88/8b88a7f224baf405748c040e4dd4fced006003fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544174.2500600"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Blockchains for Business Process Management - Challenges and Opportunities

Jan Mendling, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Ingo Weber (+20 others)
<span title="2018-02-26">2018</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/246ryqhr5jgqlbefuy7mh23yny" style="color: black;">ACM Transactions on Management Information Systems</a> </i> &nbsp;
We conclude our discourse with a summary of seven research directions for investigating the application of blockchain technology in the context of BPM.  ...  single point of trust (and failure).  ...  Blockchain Technology In its original form, Blockchain is a distributed database technology that builds on a tamper-proof list of timestamped transaction records.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3183367">doi:10.1145/3183367</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f7z6vismind65du2rqbwchqmci">fatcat:f7z6vismind65du2rqbwchqmci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426222154/http://orbit.dtu.dk/files/143775594/1704.03610_1_.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/44/f1/44f1e608d1f09cd59b0e8a5ef6202ab04a100a2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3183367"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,106 results