Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Nelaturu, Keerthi
10  Ergebnisse:
Personensuche X
?
1

Correct-by-Design Interacting Smart Contracts and a Systema..:

Nelaturu, Keerthi ; Mavridou, Anastasia ; Stachtiari, Emmanouela..
IEEE Transactions on Dependable and Secure Computing.  20 (2023)  4 - p. 3110-3127 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Natural Language-Based Model-Checking Framework for Move Sm..:

, In: 2023 Tenth International Conference on Software Defined Systems (SDS),
Nelaturu, Keerthi ; Keilty, Eric ; Veneris, Andreas - p. 89-94 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Gas Optimization Patterns in Move Smart Contracts on the Ap..:

, In: 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS),
Keilty, Eric ; Nelaturu, Keerthi ; Kastania, Anastasia. - p. 1-4 , 2023
Link: https://doi.org/10.1109/..
 
?
4

A Robust Front-Running Methodology for Malicious Flash- Loa..:

, In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),
Deng, Xun ; Zhao, Zihan ; Beillahi, Sidi Mohamed... - p. 38-47 , 2023
Link: https://doi.org/10.1109/..
 
?
5

A Review of Blockchain in Fintech: Taxonomy, Challenges, an..:

Nelaturu, Keerthi ; Du, Han ; Le, Duc-Phong
Cryptography.  6 (2022)  2 - p. 18 , 2022
Link: https://doi.org/10.3390/..
 
?
6

A Model-Checking Framework for the Verification of Move Sma..:

, In: 2022 IEEE 13th International Conference on Software Engineering and Service Science (ICSESS),
Keilty, Eric ; Nelaturu, Keerthi ; Wu, Bowen. - p. 1-7 , 2022
Link: https://doi.org/10.1109/..
 
?
7

Automated Auditing of Price Gouging TOD Vulnerabilities in ..:

, In: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),
Beillahi, Sidi Mohamed ; Keilty, Eric ; Nelaturu, Keerthi.. - p. 1-6 , 2022
Link: https://doi.org/10.1109/..
 
?
8

Verified Development and Deployment of Multiple Interacting..:

, In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),
Nelaturu, Keerthi ; Mavridoul, Anastasia ; Veneris, Andreas. - p. 1-9 , 2020
Link: https://doi.org/10.1109/..
 
?
9

A Review of Blockchain in Fintech: Taxonomy, Challenges, an..:

Keerthi Nelaturu ; Han Du ; Duc-Phong Le
https://www.mdpi.com/2410-387X/6/2/18.  , 2022
Link: https://doi.org/10.3390/..
 
?
10

A Review of Blockchain in Fintech: Taxonomy, Challenges, an..:

Keerthi Nelaturu ; Han Du ; Duc-Phong Le
Blockchain Security.  , 2022
Link: https://doi.org/10.3390/..
 
1-10