Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
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 05, 2018)
View