research

Some readers might lose the confidence in authors that find mistakes in their own earlier publications.

anonymous reviewer

"TRAIL: Cross-Shard Validation for Cryptocurrency Byzantine Shard Protection"
- conference version Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma, The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2024), to appear, slides
- technical report arXiv: 2405.07146 , Mitch Jacovetty, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma, May 12, 2024
Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma, "Consensus Through Knot Discovery in Asynchronous Dynamic Networks"
- converence version The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2024) , to appear, slides
- technical report arXiv: 2406.04497, Jun 6, 2024
Brown Zaz, Mikhail Nesterenko, Gokarna Sharma,"BeRGeR: Byzantine-Robust Geometric Routing"
- conference version 12th International Conference on Networking Systems (NETYS 2024), pp. 247-263, Rabat, Morocco, May 2024, slides
- technical report arXiv: 2403.12256 Mar 18, 2024
Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko, "Consensus on an Unknown Torus with Dense Byzantine Faults"
- conference version 11th International Conference on Networked Systems (NETYS 2023), pp. 105-121, Ben Guerir, Morocco, May 2023, slides
- techinical report arXiv: 2303.12870, May 16, 2023
Rachel Bricker, Mikhail Nesterenko and Gokarna Sharma, "Blockchain in Dynamic Networks"
- 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, pp. 114-129, Clermont-Ferrand, France, November 2022, slides
- technical report arXiv: 2208.03355, Aug 5, 2022
Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sebastien Tixeuil "QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator",
- conference version Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems (apPLIED), pp.40-45, Salerno, Italy, July 2022, slides
- technical report arXiv: 2205.04930v3, May 16, 2022
Kendric Hood, Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma, "Partitionable Asynchronous Cryptocurrency Blockchain"
- conference version, IEEE International Conference on Blockchain and Cryptocurrency, pp. 1-9, May 2021, virtual, slides
- technical report, arXiv:2012.10413, Dec 18, 2020
Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko, "Byzantine Geoconsensus"
- conference version, 9th International Converence on Networked Systems (NETYS), May 2021, virtual, best student paper award
- brief announcement, Symposium on Stabilization, Safety, and Security of Distributed Systems, pp.199-204, November 2020, slides
- technical report arXiv:2010.02436, October 6, 2020
Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma
- "Brief Announcement Blockguard: Adaptive Blockchain Security " Symposium on Stabilization, Safety, and Security of Distributed Systems pp. 296-300, Pisa, Italy, November 2019, slides
- technical report arXiv e-prints arXiv:1907.13232, July 2019
J. Adamek, M. Nesterenko, J.S. Robinson, S. Tixeuil, "Concurrent Geometric Multicasting"
- conference version 19th International Conference on Distributed Computing and Networking, pp. 1-10, Varapansi, India, January 2018, slides, abstract simulation code and data concrete simulation code and data
- technical report, UPMC Université Paris VI; Kent State University HAL-01540744, June 16, 2017
D. Foreback, M. Nesterenko, S. Tixeuil,
- "Churn Possibilities and Impossibilities", 6th International Conference on Networked Systems (NETYS), Essaouira, Morocco, May 2018, slides
- "Infinite Unlimited Churn (short paper)", 18th Inernational Symposium on Stabilizaiton, Safety and Security of Distributed Systems, pp. 148-153, Lyon, France, November 2016, slides
- "Infinite Unlimited Churn" Laboratoire d.Informatique de Paris 6; Kent State University HAL-01350804, August 2016
J. Adamek, J.S. Robison, M. Nesterenko, S. Tixeuil "Stateless Reliable Geocasting" 36th IEEE Symposium on Reliable Distributed Systems (SRDS), pp.44-53, Hong Kong, September 2017, paper, slides, abstract implementation code and data concrete implementation code and data
- J. Adamek, M. Nesterenko, S. Tixeuil, "Stateless Geocasting" UPMC Université Paris VI; Kent State University HAL-01168488, June 25, 2015
Q. Bramas, D. Foreback, M. Nesterenko and S. Tixeuil
- Theory of Computing Systems, 63(2), pp.237-260, February 2019
- Packet Efficient Implementation of the Omega Failure Detector, 18th Inernational Symposium on Stabilizaiton, Safety and Security of Distributed Systems, pp. 70-87, Lyon, France, November 2016, nominated for best paper award, slides
- "Packet Efficient Implementation of the Omega Failure Detector" UPMC Université Paris VI; Kent State University HAL-01153111v1, 2015
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T. Strothmann
- "On Stabilizing Departures in Overlay Networks", 16th Interational Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), pp. 48-62, Paderborn, Germany, October 2014
- "Stabilizing Finite Churn in Peer-to-Peer Networks", technical report TR-KSU-CS-2013-02, Dept. of Computer Science, Kent State University, July 18, 2013
J. Adamek, M. Nesterenko, S. Tixeuil
- "Evaluating and Optimizing Stabilizing Dining Philosophers", Journal of Parallel and Distributed Computing 109 (11), pp. 63-74, November 2017,
- "Evaluating and Optimizing Stabilizing Dining Philosophers", 11th European Dependable Computing Conference, pp. 233-244, Paris, France, September 2015, slides
- "Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance" 16th Interational Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), p 349, Paderborn, Germany, October 2014
- "Comparing Self-Stabilizing Dining Philosophers through Simulation", technical report TR-KSU-CS-2013-01, Dept of Computer Science, Kent State University, July 18, 2013
R. Mohd Nor, M. Nesterenko, S. Tixeuil "Linearizing Peer-to-Peer Systems with Oracles"
- conference version15th Interational Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), pp. 221-236, Osaka, Japan, November 2013, slides
- technical report TR-KSU-CS-2012-02, Dept. of Computer Science, Kent State University, July 15, 2012.
J. Adamek, M. Nesterenko, S. Tixeuil "Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: the Case of Propagation of Information with Feedback" 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), LNCS 7596, pp. 126-132, Toronto, Canada, October 2012 slides, code and data
R. Mohd Nor, M. Nesterenko, C. Scheideler "Corona: A Stabilizing Deterministic Message-Passing Skip List",
- journal version Theoretical Computer Science, 512 (11), pp. 119-129, November 2013.
- conference version 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, pp. 356-370, Grenoble France, October 2011, best student paper award, presentation
- technical report TR-KSU-2011-01, Dept. of Computer Science, Kent State University, May 2011.
S. Dubois, M. Gradinariu Potop-Butucaru, M. Nesterenko, S. Tixeuil "Self-Stabilizing Byzantine Asynchronous Unison",
- Journal of Parallel and Distributed Computing, 72(7), pp. 917-923 (2012)
- brief announcement, 14th International Conference on Principles of Distributed Systems (OPODIS), pp. 83-86, Tozeur, Tunisia, December 2010.
- technical report No 00437691, INRIA, December 2009.
M. Nesterenko, S. Tixeuil "Ideal Stabilization",
- journal version International Journal of Grid and Utility Computing, 4(4), pp.219-230, November 2013.
- International Conference on Advanced Information Networking and Applications (AINA), pp. 224-232, Biopolis, Singapore, March 2011, best paper award, presentation
- technical report No 00394118, INRIA, June 2009; TR-KSU-CS-2012-01 Dept. of Computer Science, Kent State University April 25, 2012.
R. Nor, M. Nesterenko, P. Lavrentyev "Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform", International Workshop on Advanced Sensor Integration Technology (ASIT), Niagara Falls, Candada, September 2009 presentation
technical report TR-KSU-CS-2009-01, Kent State University, May 2009.
T. Clouser, M. Nesterenko, C. Scheideler "Tiara: A Self-Stabilizing Deterministic Skip List",
- journal version Journal of Theoretical Computer Science, 428(0), pp. 18-35, April 2012, changes since conf. version
- conference version 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08), LNCS vol. 5340, pp. 124-140, Detroit, MI, November 2008. presentation
- technical report TR-KSU-CS-2008-04, Kent State University, July 2008.
T. Clouser, M. Miyashita, M. Nesterenko "Fast Geometric Routing with Concurrent Face Traversal"
- journal version Journal of Parallel and Distributed Computing. 72(5), pp. 627-636, May 2012
- conference version 12th International Conference on Principles of Distributed Systems (OPODIS 2008), pp. 346-362, Luxor, Egypt, December 2008, presentation
- M. Miyashita, M. Nesterenko "2FACE: Bi-Directional Face Traversal for Efficient Geometric Routing" technical report TR-KSU-CS-2006-06, Kent State University
P. Danturi, M. Nesterenko, S. Tixeuil, "Self-Stabilizing Philosophers with Generic Conflicts"
- journal version, ACM Transactions on Autonomous and Adaptive Systems, 4(1), pp. 1-20, January 2009 changes since conf. version
- conference version, 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS Volume 4280, pp. 213-230, Dallas, TX, November 2006, presentation
- technical report TR-KSU-CS-2005-05
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët "Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks"
- conference version 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'08), LNCS vol. 5340, pp. 63-78, Detroit, MI, November 2008. presentation
- technical report N 6529, INRIA, May 2008.
N. Alam, T. Clouser, R. Thomas and M. Nesterenko "Poster Abstract: Emuli - Model Driven Sensor Stimuli for Experimentation", 6th ACM Conference on Embedded Networked Sensor Systems (SenSys), pp. 423-424, Raleigh, NC, November 2008. poster
- T. Clouser, R. Thomas, M. Nesterenko "Emuli: Emulated Stimuli for Wireless Sensor Network Experimentation", technical report TR-KSU-CS-2007-04, Kent State Univesity
S. Delaet, S. Devismes, M. Nesterenko and S. Tixeuil, "Snap-Stabilization in Message-Passing Systems"
- Journal of Parallel and Distributed Computing, 70(12), pp. 1220-1230 (December 2010)
- (brief announcement) 27th ACM Symposium on Principles of Distributed Computing (PODC), p. 443, Toronto, Canada, August 2008.
- "Stabilisation instanée dans les systèmes à passage de messages", Algotel pp. 81-84, Carry-le-Rouet, France, June 2009
T. Clouser, A. Vora, T. Fox, M. Nesterenko "Void Traversal for Efficient Non-Planar Geometric Routing" Ad Hoc Networks (Elsevier), 11(8), pp. 2345-2355, November 2013
- M. Nesterenko, A. Vora "Void Traversal for Guaranteed Delivery in Geometric Routing" The 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2005), Washington, DC, November, 2005, presentation
M. Nesterenko, S. Tixeuil "Discovering Network Topology in the Presence of Byzantine Faults", errata
- journal version IEEE Transactions on Parallel and Distributed Systems, 20(12), pp. 1777-1789, December 2009, changes since conf. version
- conference version 13th Colloquium on Structural Information and Communication Complexity (SIROCCO), LNCS Volume 4056 pp. 212-226, Chester, UK, July 2006, presentation
- technical reports: TR-KSU-CS-2005-01 and TR-KSU-CS-2006-01
S.Dolev, M. Kopeetsky, T. Clouser, M. Nesterenko "Low Overheard RFID Security" in "RFID Handbook: Applications, Technology, Security, and Privacy", S.A.Ahson, M.Ilyas, Eds. CRC Press, March 2008.
- S. Karthikeyan, M. Nesterenko "RFID Security without Extensive Cryptography" the Third CCS ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN'05), pp. 63-67, Washington, DC, November, 2005, presentation
M. Nesterenko, A. Schiper "On Properties of the Group Membership Problem", technical report TR-KSU-CS-2007-01, Kent State University
S. Pleisch, T. Clouser, M. Nesterenko, A. Schiper "DRIFT: Efficient message ordering in ad hoc networks using virtual flooding", 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), pp. 119-131, Leeds, UK, October 2006,
technical report LSR-REPORT-2006-002, EPFL, Switzerland presentation
R.S. Whittlesey-Harris, M. Nesterenko "Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station" The Fifth International Workshop on Assurance in Distributed Systems and Networks (ADSN 2006), pp. 5-14, Lisbon, Portugal, July 2006, presentation
extended version is in technical report TR-KSU-CS-2005-02,
M. Miyashita, M. Nesterenko, R.D. Shah and A. Vora "Visualizing Wireless Sensor Networks: An Experience Report", The 2005 International Conference on Wireless Networks (ICWN-05), pp. 412-419, Las Vegas, NV, June 2005.
A. Vora, M. Nesterenko "Secure Location Verification Using Radio Broadcast"
- journal version IEEE Transactions on Dependable and Secure Computing, 3(4), pp. 377-385, November 2006 , changes since conf. version
- conference version 8th International Conference on Principles of Distributed Systems (OPODIS 2004), pp. 259-269, Grenoble, France, December 2004, also published as LNCS vol. 3544, pp.369-383, slides
- techreport TR-KSU-CS-2004-01
D. Watson, M. Nesterenko "MULE: Hybrid Simulator for Testing and Debugging Wireless Sensor Networks" Second International Workshop on Sensor and Actor Network Protocols and Applications, pp. 67-71, Boston, Massachusetts, August 2004, also available as techreport TR-KSU-CS-2004-02
A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik, V. Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni, U. Arumugam, M. Nesterenko, A. Vora and M. Miyashita, "A Line in the sand: A wireless sensor network for target detection, classification, and tracking", Computer Networks (Elsevier) 46(5):605-634, December 5, 2004
M. Nesterenko, A. Arora "Local Tolerance to Unbounded Byzantine Faults" 21st IEEE Symposium on Reliable Distributed Systems, pp. 22-29, Suita, Japan, October 2002, presentation
M. Nesterenko, A. Arora "Dining Philosophers that Tolerate Malicious Crashes" 22nd International Conference on Distributed Computing Systems pp. 191-198, Vienna, Austria, July 2002
M. Nesterenko, A. Arora "Self-Stabilizing Routing in Wireless Embedded Systems" SRDS 2001 Workshop on Reliability in Embedded Systems pp. 16-22, New Orleans, Louisiana, October 2001
A. Arora, M. Nesterenko "Unifying Stabilization and Termination in Message-Passing Systems",
- journal version Distributed Computing 17(3), March 2005, pp. 279-290
- conference version 21st International Conference on Distributed Computing Systems pp. 99-106, Mesa, Arizona, April 2001
M. Nesterenko, M. Mizuno "A Quorum-Based Self-Stabilizing Distributed Mutual-Exclusion Algorithm", Journal of Parallel and Distributed Computing 62(2), February 2002, pp. 284-305
M. Nesterenko, A. Arora "Stabilization-Preserving Atomicity Refinement",
- journal version Journal of Parallel and Distributed Computing 62(5) May 2002, pp. 766-799
- conference version 13th International Symposium on Distributed Computing, pages 254-268, Bratislava, Slovak Republic, September 1999
R.R. Howell, M. Nesterenko, M. Mizuno "Finite-State Self-Stabilizing Protocols in Message-Passing Systems",
- journal version Journal of Parallel and Distributed Computing 62(5) May 2002, pp. 792-817
- conference version, Forth Workshop on Self-Stabilizing Systems, pages 62-69, Austin, USA, June 1999
M. Mizuno, M. Nesterenko, "A Transformation of Self-Stabilizing Serial Model Programs for Asynchronous Parallel Computing Environments", Information Processing Letters 66(6), pp. 285-290, 30 June 1998
H. Kakugawa, M. Mizuno, M. Nesterenko "Development of Self-Stabilizing Distributed Algorithms using Transformation: Case Studies" Third Workshop on Self-Stabilizing Systems, pages 16-30, Santa Barbara, USA, August 1997, presentation
M. Mizuno, M. Nesterenko, H. Kakugawa "Lock Based Self-Stabilizing Distributed Mutual Exclusion Algorithms", 16th International Conference on Distributed Computing Systems , pages 708-716, Hong Kong, May 1996