ORCID as entered in ROS
https://orcid.org/0000-0002-9243-0571
Select Publications
Conference Papers
, 2024, 'A Knowledge-Based Analysis of Intersection Protocols', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.DISC.2024.2
, 2023, 'Optimal Eventual Byzantine Agreement Protocols with Omission Failures', in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp. 244 - 252, http://dx.doi.org/10.1145/3583668.3594573
, 2021, 'Architecture for Smart SAFE Contracts', in 2021 3rd Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2021, pp. 145 - 148, http://dx.doi.org/10.1109/BRAINS52497.2021.9569831
, 2019, 'On the specification and verification of atomic swap smart contracts (extended abstract)', in ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency, pp. 176 - 179, http://dx.doi.org/10.1109/BLOC.2019.8751250
, 2017, 'An Epistemic Foundation for Authentication Logics (Extended Abstract)', in Lang J (ed.), Proceedings of the Conference on Theoretical Aspects of Knowledge and Rationality, Liverpool, UK, presented at
, 2017, 'Optimizing epistemic model checking using conditional independence (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, ENGLAND, Univ Liverpool, Liverpool, pp. 398 - 414, presented at
, 2016, 'On reductions from multi-domain noninterference to the two-level case', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 520 - 537, http://dx.doi.org/10.1007/978-3-319-45744-4_26
, 2015, 'The complexity of approximations for epistemic synthesis (extended abstract)', in Cerny P; Kuncak V; Parthasarathy M (eds.), Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, San Francisco, CA, USA, pp. 120 - 137, presented at
, 2015, 'Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, PA, Carnegie Mellon Univ, Pittsburgh, pp. 264 - 282, presented at
, 2014, 'A temporal logic of strategic knowledge', in Proceedings 14th International Conference on Principles of Knowledge Representation and Reasoning, AAAI Publicatons, Vienna, Austria, presented at
, 2014, 'Symbolic Synthesis for Epistemic Specifications with Observational Semantics', in Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, Grenoble, France, pp. 455 - 469, presented at
, 2014, 'An Epistemic Strategy Logic', in Proceedings 2nd International Workshop on Strategic Reasoning, EPTCS, Grenoble, France, pp. 35 - 41, presented at
, 2014, 'Symbolic model checking epistemic strategy logic', in Proceedings of the National Conference on Artificial Intelligence, pp. 1426 - 1432
, 2013, 'Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: an application to Pursuit-Evasion Games', in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, WAshington, USA, pp. 772 - 778, presented at
, 2013, 'Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics', in Burkhard C. Schipper (ed.), TARK2013 - Theoretical Aspects of Rationality and Knowledge, Proceedings of the 14th Conference, Chennai, India, pp. 121 - 130, presented at
, 2012, 'Intransitive noninterference in nondeterministic systems', in ACM Conference on Computer and Communications Security, ACM, Raleigh, NC, USA, pp. 869 - 880, presented at
, 2011, 'Model Checking Knowledge in Pursuit-Evasion Games', in PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI11), AAAI Press, Barcelona, pp. 240 - 245, presented at
, 2011, 'Abstraction for Epistemic Model Checking of Dining-Cryptographers based Protocols', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 247 - 256, presented at
, 2011, 'Symbolic Model Checking of Probabilistic Knowledge', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 177 - 186, presented at
, 2011, 'The complexity of Intransitive Noninterference', in Proceedings - 2011 IEEE Symposium on Security and Privacy, SP 2011, Institute of Electrical and Electronics Engineers Inc., New York, NY, United States, pp. 196 - 211, presented at
, 2010, 'Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast', in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, Springer, Berlin, Germany, presented at
, 2010, 'The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 549 - 554, presented at
, 2010, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers, Springer Verlag, Heidelberg, Germany, pp. 95 - 111, presented at
, 2010, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Proc. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), IFIMAAS, http://www.aamas-conference.org/Proceedings/aamas2010/, presented at
, 2010, 'The Complexity of Synchronous Notions of Information Flow Security', in 13th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FoSSaCS 2010), Springer-Verlag, Germany, presented at
, 2010, 'Games, Norms and Strategic Notions in Information Flow Security', in CLIMA XI - Computational Logic in Multi-agent Systems, Springer, Lisbon, presented at
, 2009, 'Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic', in AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, presented at
, 2009, 'Architectural refinement and notions of intransitive noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 60 - 74, http://dx.doi.org/10.1007/978-3-642-00199-4_6
, 2009, 'Deriving Epistemic Conclusions from Agent architecture', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, presented at
, 2008, 'Access Control and Information Flow in Transactional Memory', in Formal Aspects in Security and Trust, Springer, Berlin, presented at
, 2008, 'On notions of causality and distributed knowledge', in 11th International conference on principles of knowledge representation and reasoning, Proceedings, Sydney, presented at
, 2008, 'Information flow in systems with schedulers', in 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, presented at
, 2007, 'What, indeed, is intransitive noninterference?', in European symposium on research in computer security, Dresden, Germany, presented at
, 2007, 'What, indeed, is intransitive noninterference? - (Extended abstract)', in Biskup J; Lopez J (ed.), COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, SPRINGER-VERLAG BERLIN, GERMANY, Dresden, pp. 235 - 250, presented at
, 2007, 'Preservation of epistemic properties in security protocol implementations', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, presented at
, 2007, 'Model checking knowledge and linear-time PSPACE cases', in Logical Foundations of Computer Science, International Symposium, LFCS 2007, volume 4514 of LNCS, Springer-Verlag, New York, USA, presented at
, 2007, 'A linear time algorithm for pricing European sequential barrier options', in Computing: the Australasian theory symposium, Ballarat, Victoria, presented at
, 2007, 'A comparison of semantic models for noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 235 - 249, http://dx.doi.org/10.1007/978-3-540-75227-1_16
, 2005, 'Synthesis of distributed systems from knowledge-based specifications', in 16th international conference on concurrency theory, San Francisco, California USA, presented at
, 2004, 'A knowledge-based analysis of cache coherence', in 6th International Conference on Formal Engineering Methods, ICFEM 2004, Springer, Seattle, Washington, USA, presented at
, 2004, 'Symbolic model checking the knowledge of the Dining Cryptographers', in Proceedings of the Computer Security Foundations Workshop, pp. 280 - 291
, 2004, 'MCK - Model Checking the Logic of Knowledge', in 16th International Conference on Computer Aided Verification, Boston, Massachusetts, presented at
, 2004, 'Model Checking the Knowledge of the Dining Cryptographers', in 17th Computer Security Foundations Workshop, Pacific Grove CA, USA, presented at
, 2003, 'A logic for probability in quantum systems', in 17th International Workshop CSL 2003, Vienna, Austria, presented at
, 2003, 'Modal Logics of Knowledge and Time', in Reynolds M; Sattar A (ed.), 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics, Queensland, pp. 5 - 5, presented at
, 2003, 'Knowledge in Quantum Systems', in TARK 2003, Indiana USA, presented at
, 2002, 'Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Version)', in Advances in Modal Logic 2002 (AiML), Toulouse France, presented at
, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at
, 2001, 'A logical Reconstruction of SPKI', in 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia, presented at
, 2000, 'On Refinement and Temporal Annotations', in 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, presented at
Filter by type
https://orcid.org/0000-0002-9243-0571