Smart contracts are computer programs which execute through blockchain transactions and are able to hold state and interact with decentralized cryptocurrencies and take user input. We have studied different cases analyzing attacks on Ethereum Smart Contracts and we have also analyzed the root causes which lead to exploiting code vulnerabilities. The analysis has been continued further to test EVM and Smart Contracts over K Framework and thus formalize on the required improvements.
Auxledger language is being created and complied as a subset of Java programming language specifications. The libraries developed will implement the horizontal scalability of architecture and will provide an easier method to implement microservices oriented protocols into the system. At an infrastructural standpoint , our focus is to provide an easy to use infrastructure without compromising on best defensive programming techniques to derive overall security in the ecosystem.
 N. Atzei, M. Batoletti, and C. Tiziana, “A survey of attacks on ethereum smart contracts” 2016. Link: https://eprint.iacr.org/2016/1007.pdf
 E. Hildenbrandt, M. Saxena, X. Zhu, N. Rodrigues, P. Daian, D. Guth and G. Rosu, “KEVM: A Complete Semantics of the Ethereum Virtual Machine” 2017. Link: https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daianrosu- 2017-tr_0818.pdf