E-LIB Suche - Ergebnisse für: Veneris, Andreas

1

Safeguarding DeFi Smart Contracts Against Oracle Deviations:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),

Deng, Xun ; Beillahi, Sidi Mohamed ; Minwalla, Cyrus... - p. 2111-2122 , 2024

2

LMPT: A Novel Authenticated Data Structure to Eliminate Sto..:

Choi, Jemin Andrew ; Beillahi, Sidi Mohamed ; Singh, Srisht Fateh...
IEEE Transactions on Network and Service Management. 21 (2024) 2 - p. 1333-1343 , 2024

Link: https://doi.org/10.1109/..

3

Deeper: A shared liquidity decentralized exchange design fo..:

Singh, Srisht Fateh ; Michalopoulos, Panagiotis ; Veneris, Andreas
International Journal of Network Management. , 2024

Link: https://doi.org/10.1002/..

4

Innovations in Blockchain for Crypto Assets and Exchanges:

Hong, James Won‐Ki ; Veneris, Andreas ; Ju, Hongtaek..
International Journal of Network Management. , 2024

Link: https://doi.org/10.1002/..

5

Safeguarding DeFi Smart Contracts against Oracle Deviations:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,

Deng, Xun ; Beillahi, Sidi Mohamed ; Minwalla, Cyrus... - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

6

Cross-blockchain smart contract interoperability:

Westerkamp, Martin , 2023

Link: https://nbn-resolving.de..

7

Inducing Trust in Blockchain-enabled IoT Marketplaces Throu..:

, In: 2023 IEEE International Conference on Metaverse Computing, Networking and Applications (MetaCom),

Michalopoulos, Panagiotis ; Singh, Srisht Fateh ; Veneris, Andreas - p. 398-402 , 2023

Link: https://doi.org/10.1109/..

8

DEEPER: Enhancing Liquidity in Concentrated Liquidity AMM D..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Singh, Srisht Fateh ; Michalopoulos, Panagiotis ; Veneris, Andreas - p. 1-7 , 2023

Link: https://doi.org/10.1109/..

9

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/..

10

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/..

11

Möbius: an Atomic State Sharding Design for Account-Based B..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Singh, Srisht Fateh ; Michalopoulos, Panagiotis ; Beillahi, Sidi Mohamed.. - p. 1-9 , 2023

Link: https://doi.org/10.1109/..

12

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/..

13

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/..

14

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/..

15

Central Bank Digital Currencies:

, In: Handbook on Blockchain; Springer Optimization and Its Applications,

Pocher, Nadia ; Veneris, Andreas - p. 463-501 , 2022

Link: https://doi.org/10.1007/..