Smart contracts are computer programs which execute through blockchain transactions that are able to hold state, interact with decentralized cryptocurrencies, and take user input. We studied over different cases analyzing attacks on Ethereum Smart Contracts  and analyzed over the root causes which lead to exploiting the code vulnerabilities. The analysis has been further continued 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 providing an easier method to implement microservices oriented protocols into the system. As an infrastructure foundation, our focus is to provide an easy to use, simple and yet enforcing developers to use 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