Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Internship Program
    • Prospective Students
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Anastasia Mavridou
First name
Anastasia
Last name
Mavridou
Mavridou, A. ., Laszka, A. ., Stachtiari, E. ., & Dubey, A. . (2019). VeriSolid: Correct-by-Design Smart Contracts for Ethereum. In Financial Cryptograph. St. Kitts. (Original work published 2019)
View
Eisele, S. ., Laszka, A. ., Mavridou, A. ., & Dubey, A. . (2018). SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. In Blockchain-2018: The 2018 IEEE International Conference on Blockchain (Vol. abs/1804.08133). Halifax, Nova Scotia. (Original work published August 2018)
View
Meijer, P. ., & Mavridou, A. . (2018). How to Build a Design Studio with WebGME. Nashville: Institute for Software Integrated Systems. (Original work published September 5, 2018)
View

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu