skip to main content
10.1145/2933575.2934579acmconferencesArticle/Chapter ViewAbstractPublication PageslicsConference Proceedingsconference-collections
research-article

Blockchains and the Logic of Accountability: Keynote Address

Published: 05 July 2016 Publication History
First page of PDF

References

[1]
Digital asset holding. https://digitalasset.com/. Retrieved 6 April 2016.
[2]
A. S. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J.-P. Martin, and C. Porth. Bar fault tolerance for cooperative services. In Proceedings of the Twentieth ACM Symposium on Operating Systems Principles, SOSP '05, pages 45--58, New York, NY, USA, 2005. ACM.
[3]
Bitcoinwiki. Proof of stake. https://en.bitcoin.it/wiki/Proof_of_Stake. Retrieved 6 April 2016.
[4]
M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Trans. Comput. Syst., 8(1):18--36, Feb. 1990.
[5]
CoinDesk. 8 banking giants embracing Bitcoin and blockchain tech. http://www.coindesk.com/8-banking-giants-bitcoin-blockchain/. Retrieved 6 April 2016.
[6]
J. R. Driscoll, N. Sarnak, D. D. Sleator, and R. E. Tarjan. Making data structures persistent. J. Comput. Syst. Sci., 38(1):86--124, Feb. 1989.
[7]
Ethereum. Trustless, decentralised, smart contracts for Ethereum. https://ethereum.github.io/solidity/. Retrieved 6 April 2016.
[8]
I. Eyal and E. G. Sirer. Majority is not enough: Bitcoin mining is vulnerable. CoRR, abs/1311.0243, 2013.
[9]
Forbes. As ransomware crisis explodes, Hollywood hospital coughs up $17,000 in Bitcoin. http://www.forbes.com/sites/thomasbrewster/2016/02/18/ransomware-hollywood-payment-locky-menace/#7db76f5c75b0. Retrieved 6 April 2016.
[10]
Forbes. The inside story of Mt. Gox, Bitcoin's $460 million disaster. http://www.wired.com/2014/03/bitcoin-exchange/. Retrieved 6 April 2016.
[11]
D. Garg, L. Bauer, K. D. Bowers, F. Pfenning, and M. K. Reiter. A linear logic of authorization and knowledge. In Proceedings of the 11th European Conference on Research in Computer Security, ESORICS'06, pages 297--312, Berlin, Heidelberg, 2006. Springer-Verlag.
[12]
V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato. A constructive conditional logic for access control: A preliminary report. In Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pages 1073--1074, Amsterdam, The Netherlands, The Netherlands, 2010. IOS Press.
[13]
M. Herlihy and M. Moir. Enhancing accountability and trust in distributed ledgers. Submitted for publication, Feb. 2016.
[14]
M. Herlihy and N. Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008.
[15]
M. Herlihy and J. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems, 12(3):463--492, July 1990.
[16]
IBM. IBM blockchain is open for business. http://www.ibm.com/blockchain/. Retrieved 6 April 2016.
[17]
A. Juels, A. Kosba, and E. Shi. The ring of gyges: Investigating the future of criminal smart contracts. Cryptology ePrint Archive, Report 2016/358, 2016. http://eprint.iacr.org/.
[18]
C. Lesniewski-Laas, B. Ford, J. Strauss, R. Morris, and M. F. Kaashoek. Alpaca: Extensible authorization for distributed services. In Proceedings of the 14th ACM Conference on Computer and Communications Security, CCS '07, pages 432--444, New York, NY, USA, 2007. ACM.
[19]
N. Li, B. N. Grosof, and J. Feigenbaum. Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur., 6(1):128--171, Feb. 2003.
[20]
R. C. Merkle. A digital signature based on a conventional encryption function. In A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology, CRYPTO '87, pages 369--378, London, UK, UK, 1988. Springer-Verlag.
[21]
S. Nakamoto. Bitcoin: A peer-to-peer electronic cash system. May 2009.
[22]
RHorning. Mining cartel attack. https://bitcointalk.org/index.php?topic=2227.0, Dec. 2010.
[23]
I. Ripple. Welcome to ripple. https://ripple.com/. Retrieved 6 April 2016.
[24]
C. Ruan and V. Varadharajan. Dynamic delegation framework for role based access control in distributed data management systems. Distrib. Parallel Databases, 32(2):245--269, June 2014.
[25]
E. G. Sirer. Bitcoin runs on altriusm. http://hackingdistributed.com/2015/12/22/bitcoin-runs-on-altruism/. Retrieved 6 April 2016.
[26]
Stellar. Money could move like email. https://www.stellar.org/. Retrieved 6 April 2016.
[27]
N. Szabo. http://unenumerated.blogspot.com/2015/05/small-game-fallacies.html. Retrieved 30 March 2016.
[28]
Tendermint. http:/https://github.com/tendermint/tendermint/wiki, Oct 2015. Commit c318a227.
[29]
Wikipedia. https://en.wikipedia.org/wiki/Smart_contract. Retrieved 30 March 2016.
[30]
Wikipedia. Satoshi nakamoto. https://en.wikipedia.org/wiki/Satoshi_Nakamoto. Retrieved 6 April 2016.
[31]
Wired. The rise and fall of silk road. http://www.wired.com/2015/04/silk-road-1/. Retrieved 6 April 2016.
[32]
Wired. The schism over Bitcoin is how Bitcoin is supposed to work. http://www.wired.com/2016/02/the-schism-over-bitcoin-is-how-bitcoin-is-supposed-to-work/. Retrieved 6 April 2016.

Cited By

View all
  • (2024)A refinement-based approach to safe smart contract deployment and evolutionSoftware and Systems Modeling10.1007/s10270-023-01143-z23:3(657-693)Online publication date: 25-Jan-2024
  • (2022)Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges2022 6th Cyber Security in Networking Conference (CSNet)10.1109/CSNet56116.2022.9955604(1-6)Online publication date: 24-Oct-2022
  • (2022)Coalition Logic for Specification and Verification of Smart Contract UpgradesPRIMA 2022: Principles and Practice of Multi-Agent Systems10.1007/978-3-031-21203-1_34(563-572)Online publication date: 12-Nov-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
July 2016
901 pages
ISBN:9781450343916
DOI:10.1145/2933575
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 July 2016

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed limited

Conference

LICS '16
Sponsor:

Acceptance Rates

Overall Acceptance Rate 215 of 622 submissions, 35%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)14
  • Downloads (Last 6 weeks)1
Reflects downloads up to 17 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2024)A refinement-based approach to safe smart contract deployment and evolutionSoftware and Systems Modeling10.1007/s10270-023-01143-z23:3(657-693)Online publication date: 25-Jan-2024
  • (2022)Blockchain Meets Formal Logic: Semantics Level Cybersecurity Challenges2022 6th Cyber Security in Networking Conference (CSNet)10.1109/CSNet56116.2022.9955604(1-6)Online publication date: 24-Oct-2022
  • (2022)Coalition Logic for Specification and Verification of Smart Contract UpgradesPRIMA 2022: Principles and Practice of Multi-Agent Systems10.1007/978-3-031-21203-1_34(563-572)Online publication date: 12-Nov-2022
  • (2021)Polygraph: Accountable Byzantine Agreement2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS51616.2021.00046(403-413)Online publication date: Jul-2021
  • (2021)Dynamic Coalition Logic: Granting and Revoking Dictatorial PowersLogic, Rationality, and Interaction10.1007/978-3-030-88708-7_7(88-101)Online publication date: 4-Oct-2021
  • (2020)A logic of blockchain updatesJournal of Logic and Computation10.1093/logcom/exaa04530:8(1469-1485)Online publication date: 25-Sep-2020
  • (2017)A Logic of Blockchain UpdatesLogical Foundations of Computer Science10.1007/978-3-319-72056-2_7(107-119)Online publication date: 28-Nov-2017

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media