Difference between revisions of "Volker Literature"

From IridiaWiki
Jump to navigationJump to search
Line 228: Line 228:
 
== Blockchain technology ==
 
== Blockchain technology ==
   
=== PROPOSED ===
+
=== PROPOSED (READ) ===
   
  +
<table id="qs_table" border="1">
  +
<tr><th width="20%">Author</th><th width="30%">Title</th><th width="5%">Year</th><th width="15%">Journal/Proceedings</th><th width="10%">Reftype</th><th width="12%">Comment</th><th width="3%">file</th></tr>
 
<tr id="ChrDev2016:access" class="entry">
 
<td>Christidis, K. and Devetsikiotis, M.</td>
 
<td>Blockchains and Smart Contracts for the Internet of Things</td>
 
<td>2016</td>
 
<td>IEEE Access<br/>Vol. 4, pp. 2292-2303&nbsp;</td>
 
<td>article</td>
  +
<td>The papers gives a very good overview of the state of the art of blockchain technology (PoW/PoS, smart contracts, ...). It does not deal that much with The Internet of Things domain. There are just some possible applications, such as firmware update and workflow automation.</td>
 
<td>[[Media:ChrDev2016access.pdf|pdf]]</td>
 
</tr>
 
<tr id="DelArnKos-etal2015:iacr" class="entry">
 
<td>Kevin Delmolino Mitchell Arnett, A.K.A.M. and Shi, E.</td>
 
<td>Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab.</td>
 
<td>2015</td>
 
<td>IACR Cryptology ePrint Archive, Report 2015/460&nbsp;</td>
 
<td>techreport</td>
  +
<td>The paper describes some experiences of the authors teaching to program smart contracts to students. The authors use Serpent and descreibed possible pitfalls based on one scenario.</td>
 
<td>[[Media:DelArnKos-etal2015iacr.pdf|pdf]]</td>
 
</tr>
 
<tr id="LuuChuOli2016:iacr" class="entry">
 
<td>Luu, L., Chu, D.-H., Olickel, H., Saxena, P. and Hobor, A.</td>
 
<td>Making smart contracts smarter</td>
 
<td>2016</td>
 
<td><i>School</i>: Cryptology ePrint Archive, Report 2016/633, 201 6. http://eprint. iacr. org/2016/633&nbsp;</td>
 
<td>techreport</td>
 
<td>Discusses security issues in smart contracts and presents Oyente, a tool for finding security bugs.</td>
 
<td>[[Media:LuuChuOli2016iacr.pdf|pdf]]</td>
 
</tr>
  +
</table>
  +
  +
=== PROPOSED (SKIMMED) ===
   
 
<table id="qs_table" border="1">
 
<table id="qs_table" border="1">
Line 241: Line 273:
 
<td></td>
 
<td></td>
 
<td>[[Media:Atz2016ssrn.pdf|pdf]]</td>
 
<td>[[Media:Atz2016ssrn.pdf|pdf]]</td>
</tr>
 
<tr id="ChrDev2016:access" class="entry">
 
<td>Christidis, K. and Devetsikiotis, M.</td>
 
<td>Blockchains and Smart Contracts for the Internet of Things</td>
 
<td>2016</td>
 
<td>IEEE Access<br/>Vol. 4, pp. 2292-2303&nbsp;</td>
 
<td>article</td>
 
<td></td>
 
<td>[[Media:ChrDev2016access.pdf|pdf]]</td>
 
 
</tr>
 
</tr>
 
<tr id="DorKanJur2016:arxiv" class="entry">
 
<tr id="DorKanJur2016:arxiv" class="entry">
Line 257: Line 280:
 
<td>pre-print&nbsp;</td>
 
<td>pre-print&nbsp;</td>
 
<td>article</td>
 
<td>article</td>
  +
<td>The authors describe possible applications for smart homes using "overlay networks." At first sight, the setup seems to be a bit too complicated since the blockchain is not really needed for the described application (only trusted devices, and so on) but I should read the paper again.</td>
<td></td>
 
 
<td>[[Media:DorKanJur2016arxiv.pdf|pdf]]</td>
 
<td>[[Media:DorKanJur2016arxiv.pdf|pdf]]</td>
 
</tr>
 
</tr>
  +
</table>
<tr id="DelArnKos-etal2015:iacr" class="entry">
 
  +
<td>Kevin Delmolino Mitchell Arnett, A.K.A.M. and Shi, E.</td>
 
  +
<td>Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab.</td>
 
  +
=== PROPOSED (UNREAD) ===
<td>2015</td>
 
  +
<td>IACR Cryptology ePrint Archive, Report 2015/460&nbsp;</td>
 
  +
<table id="qs_table" border="1">
<td>techreport</td>
 
  +
<tr><th width="20%">Author</th><th width="30%">Title</th><th width="5%">Year</th><th width="15%">Journal/Proceedings</th><th width="10%">Reftype</th><th width="12%">Comment</th><th width="3%">file</th></tr>
<td></td>
 
<td>[[Media:DelArnKos-etal2015iacr.pdf|pdf]]</td>
 
</tr>
 
 
<tr id="LeiMemHog2016:ubicomp" class="entry">
 
<tr id="LeiMemHog2016:ubicomp" class="entry">
 
<td>Leiding, B., Memarmoshrefi, P. and Hogrefe, D.</td>
 
<td>Leiding, B., Memarmoshrefi, P. and Hogrefe, D.</td>
Line 275: Line 296:
 
<td>Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, pp. 137-140&nbsp;</td>
 
<td>Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, pp. 137-140&nbsp;</td>
 
<td>inproceedings</td>
 
<td>inproceedings</td>
  +
<td>I should read the paper again. It's quite short (3 pages) and I think it mainly describes a scenario for automated payments for cars.</td>
<td></td>
 
 
<td>[[Media:LeiMemHog2016ubicomp.pdf|pdf]]</td>
 
<td>[[Media:LeiMemHog2016ubicomp.pdf|pdf]]</td>
</tr>
 
<tr id="LuuChuOli2016:iacr" class="entry">
 
<td>Luu, L., Chu, D.-H., Olickel, H., Saxena, P. and Hobor, A.</td>
 
<td>Making smart contracts smarter</td>
 
<td>2016</td>
 
<td><i>School</i>: Cryptology ePrint Archive, Report 2016/633, 201 6. http://eprint. iacr. org/2016/633&nbsp;</td>
 
<td>techreport</td>
 
<td>Discusses security issues in smart contracts and presents Oyente, a tool for finding security bugs.</td>
 
<td>[[Media:LuuChuOli2016iacr.pdf|pdf]]</td>
 
 
</tr>
 
</tr>
 
</table>
 
</table>

Revision as of 13:36, 14 November 2016

Robotics

PROPOSED (READ)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Bicchi, A., Fagiolini, A. and Pallottino, L. Towards a Society of Robots 2010 IEEE Robotics Automation Magazine
Vol. 17(4), pp. 26-36 
article pdf
Zikratov, I.A., Lebedev, I.S. and Gurtov, A.V. Trust and Reputation Mechanisms for Multi-agent Robotic Systems 2014 Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014. Proceedings, pp. 106-120  inbook pdf

PROPOSED (SKIMMED)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Buiu, C. and Gânsari, M. A new model for interactions between robots in a swarm 2014 Proc. 6th Int Electronics, Computers and Artificial Intelligence (ECAI) Conf, pp. 5-10  inproceedings The authors use P colonies to model interactions in a robot swarm. pdf
Sargeant, I. and Tomlinson, A. Modelling malicious entities in a robotic swarm 2013 Proc. IEEE/AIAA 32nd Digital Avionics Systems Conf. (DASC), pp. 7B1-1-7B1-12  inproceedings The author focuses on security aspects in robot swarms. Might be quite interesting. pdf
Sargeant, I. and Tomlinson, A. Maliciously Manipulating a Robotic Swarm 2016 Proceedings of the Int'l Conf. Embedded Systems, Cyber-physical Systems, & Applications (ESCS'16)  incollection The author focuses on security aspects in robot swarms. Might be quite interesting. pdf

PROPOSED (UNREAD)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Azarnoush, H., Horan, B., Sridhar, P., Madni, A.M. and Jamshidi, M. Towards optimization of a real-world Robotic-Sensor System of Systems 2006 Proc. World Automation Congress, pp. 1-8  inproceedings pdf
Laing, T.M., Ng, S.-L., Tomlinson, A. and Martin, K.M. Security in Swarm Robotics 2016 Handbook of Research on Design, Control, and Modeling of Swarm Robotics, pp. 42-66  incollection
Nouyan, S., Gross, R., Bonani, M., Mondada, F. and Dorigo, M. Teamwork in Self-Organized Robot Colonies 2009 IEEE Transactions on Evolutionary Computation
Vol. 13(4), pp. 695-711 
article pdf
Zikratov, I.A., Lebedev, I.S., Gurtov, A.V. and Kuzmich, E.V. Securing swarm intellect robots with a police office model 2014 Proc. IEEE 8th Int Application of Information and Communication Technologies (AICT) Conference, pp. 1-5  inproceedings pdf
Zikratov, I., Maslennikov, O., Lebedev, I., Ometov, A. and Andreev, S. Dynamic Trust Management Framework for Robotic Multi-Agent Systems 2016 Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings, pp. 339-348  inbook pdf

READ (FRIA)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Bayindir, L. A review of swarm robotics tasks 2016 Neurocomputing
Vol. 172, pp. 292-321 
article pdf
Bonabeau, E., Dorigo, M. and Theraulaz, G. Swarm Intelligence: From Natural to Artificial Systems 1999   book pdf
Brambilla, M., Brutschy, A., Dorigo, M. and Birattari, M. Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking 2014 ACM Transactions on Autonomous and Adaptive Systems
Vol. 9(4), pp. 17:1-17:28 
article pdf
Brambilla, M., Ferrante, E., Birattari, M. and Dorigo, M. Swarm robotics: A Review from the Swarm Engineering Perspective 2013 Swarm Intelligence
Vol. 7(1), pp. 1-41 
article The review uses two taxonomies (i) methods and (ii) collective behaviors, to compare swarm robotics research. It was interesting to see that most papers use one of the following techniques:

- probabilistic finite state machine - virtual physics-based design

- artificial evolution
pdf
Dorigo, M., Floreano, D., Gambardella, L.M., Mondada, F., Nolfi, S., Baaboura, T., Birattari, M., Bonani, M., Brambilla, M., Brutschy, A., Burnier, D., Campo, A., Christensen, A.L., Decugniere, A., Caro, G.D., Ducatelle, F., Ferrante, E., Forster, A., Gonzales, J.M., Guzzi, J., Longchamp, V., Magnenat, S., Mathews, N., de Oca, M.M., O'Grady, R., Pinciroli, C., Pini, G., Retornaz, P., Roberts, J., Sperati, V., Stirling, T., Stranieri, A., Stutzle, T., Trianni, V., Tuci, E., Turgut, A.E. and Vaussard, F. Swarmanoid: A Novel Concept for the Study of Heterogeneous Robotic Swarms 2013 IEEE Robotics Automation Magazine
Vol. 20(4), pp. 60-71 
article pdf
Ferrer, E.C. The blockchain: a new framework for robotic swarm systems 2016   article pdf
Higgins, F., Tomlinson, A. and Martin, K.M. Survey on Security Challenges for Swarm Robotics 2009 Proc. Fifth Int. Conf. Autonomic and Autonomous Systems, pp. 307-312  incollection pdf
Massink, M., Brambilla, M., Latella, D., Dorigo, M. and Birattari, M. On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics 2013 Swarm Intelligence
Vol. 7(2-3), pp. 201-228 
article pdf
Mondada, F., Pettinaro, G.C., Guignard, A., Kwee, I.W., Floreano, D., Deneubourg, J.-L., Nolfi, S., Gambardella, L.M. and Dorigo, M. Swarm-Bot: A New Distributed Robotic Concept 2004 Autonomous Robots
Vol. 17(2-3), pp. 193-221 
article pdf
Rubenstein, M., Cornejo, A. and Nagpal, R. Programmable self-assembly in a thousand-robot swarm 2014 Science
Vol. 345(6198), pp. 795-799 
article pdf
Valentini, G., Ferrante, E., Hamann, H. and Dorigo, M. Collective Decision with 100 Kilobots: Speed Versus Accuracy in Binary Discrimination Problems 2016 Autonomous Agents and Multi-Agent Systems
Vol. 30(3), pp. 553-580 
article pdf
Zlot, R., Stentz, A., Dias, M.B. and Thayer, S. Multi-robot exploration controlled by a market economy 2002 Proceedings of the 2002 IEEE International Conference on Robotics and Automation, pp. 3016-3023  incollection pdf

Blockchain technology

PROPOSED (READ)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Christidis, K. and Devetsikiotis, M. Blockchains and Smart Contracts for the Internet of Things 2016 IEEE Access
Vol. 4, pp. 2292-2303 
article The papers gives a very good overview of the state of the art of blockchain technology (PoW/PoS, smart contracts, ...). It does not deal that much with The Internet of Things domain. There are just some possible applications, such as firmware update and workflow automation. pdf
Kevin Delmolino Mitchell Arnett, A.K.A.M. and Shi, E. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. 2015 IACR Cryptology ePrint Archive, Report 2015/460  techreport The paper describes some experiences of the authors teaching to program smart contracts to students. The authors use Serpent and descreibed possible pitfalls based on one scenario. pdf
Luu, L., Chu, D.-H., Olickel, H., Saxena, P. and Hobor, A. Making smart contracts smarter 2016 School: Cryptology ePrint Archive, Report 2016/633, 201 6. http://eprint. iacr. org/2016/633  techreport Discusses security issues in smart contracts and presents Oyente, a tool for finding security bugs. pdf

PROPOSED (SKIMMED)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Atzori, M. Blockchain-Based Architectures for the Internet of Things: A Survey. 2016 Available at SSRN  article pdf
Dorri, A., Kanhere, S.S. and Jurdak, R. Blockchain in internet of things: Challenges and Solutions 2016 pre-print  article The authors describe possible applications for smart homes using "overlay networks." At first sight, the setup seems to be a bit too complicated since the blockchain is not really needed for the described application (only trusted devices, and so on) but I should read the paper again. pdf


PROPOSED (UNREAD)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Leiding, B., Memarmoshrefi, P. and Hogrefe, D. Self-managed and Blockchain-based Vehicular Ad-hoc Networks 2016 Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct, pp. 137-140  inproceedings I should read the paper again. It's quite short (3 pages) and I think it mainly describes a scenario for automated payments for cars. pdf

READ (FRIA)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Buterin, V. Ethereum: A next-generation smart contract and decentralized application platform 2014   techreport pdf
Ferrer, E.C. The blockchain: a new framework for robotic swarm systems 2016   article pdf
Nakamoto, S. Bitcoin: A peer-to-peer electronic cash system 2008   techreport pdf
Szabo, N. Formalizing and securing relationships on public networks 1997 First Monday
Vol. 2(9) 
techreport pdf
Wood, G. Ethereum: A secure decentralised generalised transaction ledger 2014 Ethereum Project Yellow Paper  techreport pdf

Others

PROPOSED

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Levente Buttyan, J.-P.H. Security and Cooperation in Wireless Networks: Thwarting Malicious and Selfish Behavior in the Age of Ubiquitous Computing 2007   book pdf
Randal Beard, W.R. Distributed Consensus in Multi-vehicle Cooperative Control 2007   book

READ (FRIA)

AuthorTitleYearJournal/ProceedingsReftypeCommentfile
Conitzer, V. Comparing Multiagent Systems Research in Combinatorial Auctions and Voting 2010 Annals of Mathematics and Artificial Intelligence
Vol. 58(3-4), pp. 239-259 
article pdf
Parsons, S. and Wooldridge, M. Game Theory and Decision Theory in Multi-Agent Systems 2002 Autonomous Agents and Multi-Agent Systems
Vol. 5(3), pp. 243-254 
article pdf
Pezeshki, Y., Baboli, A., Cheikhrouhou, N., Modarres, M. and Jokar, M.R.A. A rewarding-punishing coordination mechanism based on Trust in a divergent supply chain 2013 European Journal of Operational Research
Vol. 230(3), pp. 527-538 
article pdf
Woolridge, M. and Wooldridge, M.J. An Introduction to Multiagent Systems - Second Edition 2001   book pdf