Aron Laszka
- Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
2017/11/26 by Anastasia Mavridou, Mavridou, Anastasia, Aron Laszka +1 · 6 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE) #cs.CR #cs.FL #cs.SE
- Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning
2019/06/20 by Liang Tong, Tong, Liang, Aron Laszka +8 · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Network Security and Intrusion Detection #cs.AI #cs.CR #cs.GT
- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
2018/02/26 by Anastasia Mavridou, Aron Laszka, Mavridou, Anastasia +2 · 4 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Security and Verification in Computing #Software Engineering (cs.SE) #cs.CR #cs.FL #cs.SE
- On the Economics of Ransomware
2017/07/19 by Aron Laszka, Laszka, Aron, Sadegh Farhang +3 · 1 voice · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- VeriSolid: Correct-by-Design Smart Contracts for Ethereum
2019/01/04 by Anastasia Mavridou, Aron Laszka, Mavridou, Anastasia +5 · 2 citations
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.CR #cs.SE
- Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers
2017/09/27 by Áron Lászka, Aron Laszka, Abhishek Dubey +7 · 1 citation
Computer Science · Engineering · #Blockchain Technology Applications and Security #Caching and Content Delivery #Cryptography and Security (cs.CR) #Distributed #Energy Harvesting in Wireless Networks #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.CR #cs.DC
- Detection and Mitigation of Attacks on Transportation Networks as a Multi-Stage Security Game
2018/08/24 by Aron Laszka, Áron Lászka, Laszka, Aron +6 · 1 citation
Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection #Smart Grid Security and Resilience #cs.CR #cs.GT
- A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles
2020/03/28 by Yuche Chen, Guoyuan Wu, Chen, Yuche +10 · 1 citation
Computer Science · Engineering · Social Sciences · #Electric Vehicles and Infrastructure #FOS: Electrical engineering #Systems and Control (eess.SY) #Transportation Planning and Optimization #Vehicle emissions and performance #cs.SY #eess.SY #electronic engineering #information engineering
- An Empirical Study of Android Security Bulletins in Different Vendors
2020/02/22 by Sadegh Farhang, Mehmet Bahadir Kirdan, Farhang, Sadegh +5 · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #cs.CR
- Hey Google, What Exactly Do Your Security Patches Tell Us? A Large-Scale Empirical Study on Android Patched Vulnerabilities
2019/05/22 by Sadegh Farhang, Mehmet Bahadir Kirdan, Farhang, Sadegh +7 · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Security and Verification in Computing #cs.CR