vix.ing · top · new · best · stats · spec

Laszka, Aron

  1. Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
    2017/11/26 by Mavridou, Anastasia, Laszka, Aron · 4 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE)
  2. Finding Needles in a Moving Haystack: Prioritizing Alerts with Adversarial Reinforcement Learning
    2019/06/20 by Liang Tong, Tong, Liang, Áron Lászka +7 · 4 citations
    Computer Science · #Network Security and Intrusion Detection #Adversarial Robustness in Machine Learning #Advanced Malware Detection Techniques
  3. Tool Demonstration: FSolidM for Designing Secure Ethereum Smart\n Contracts
    2018/02/26 by Anastasia Mavridou, Mavridou, Anastasia, Áron Lászka +1 · 3 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)
  4. VeriSolid: Correct-by-Design Smart Contracts for Ethereum
    2019/01/04 by Mavridou, Anastasia, Laszka, Aron, Stachtiari, Emmanouela +1 · 2 citations
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
  5. Bug Hunters' Perspectives on the Challenges and Benefits of the Bug Bounty Ecosystem
    2023/01/12 by Ömer Akgül, Akgul, Omer, Taha Eghtesad +13 · 3 citations
    Computer Science · #Open Source Software Innovations #Software Engineering Research #Software Engineering Techniques and Practices
  6. Multi-Agent Reinforcement Learning with Hierarchical Coordination for Emergency Responder Stationing
    2024/05/21 by Amutheezan Sivagnanam, Ava Pettet, Sivagnanam, Amutheezan +9 · 5 citations
    Engineering · #Evacuation and Crowd Dynamics
  7. Survey and Taxonomy of Adversarial Reconnaissance Techniques
    2021/05/11 by Shanto Roy, Nazia Sharmin, Roy, Shanto +7 · 2 citations
    Computer Science · #Network Security and Intrusion Detection #Information and Cyber Security #Advanced Malware Detection Techniques
  8. Optimal Thresholds for Anomaly-Based Intrusion Detection in Dynamical\n Environments
    2016/06/21 by Amin Ghafouri, Waseem Abbas, Ghafouri, Amin +7 · 1 citation
    Computer Science · Engineering · #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Infrastructure Resilience and Vulnerability Analysis #Network Security and Intrusion Detection #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
  9. On the Economics of Ransomware
    2017/07/19 by Laszka, Aron, Farhang, Sadegh, Grossklags, Jens · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences
  10. Providing Privacy, Safety, and Security in IoT-Based Transactive Energy\n Systems using Distributed Ledgers
    2017/09/27 by Áron Lászka, Abhishek Dubey, Laszka, Aron +5 · 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)
  11. Detection and Mitigation of Attacks on Transportation Networks as a\n Multi-Stage Security Game
    2018/08/24 by Áron Lászka, Laszka, Aron, Waseem Abbas +5 · 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
  12. Decision Making in Non-Stationary Environments with Policy-Augmented Search
    2024/01/06 by Ava Pettet, Yunuo Zhang, Pettet, Ava +13 · 2 citations
    Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Reinforcement Learning in Robotics
  13. A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles
    2020/03/28 by Yuche Chen, Chen, Yuche, Guoyuan Wu +9 · 1 citation
    Engineering · Social Sciences · #Electric Vehicles and Infrastructure #FOS: Electrical engineering #Systems and Control (eess.SY) #Transportation Planning and Optimization #Vehicle emissions and performance #electronic engineering #information engineering
  14. 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, Farhang, Sadegh, Mehmet Bahadir Kirdan +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
  15. An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services
    2022/03/28 by Michael Wilbur, Wilbur, Michael, Salah Uddin Kadir +15 · 1 citation
    Engineering · Social Sciences · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Transportation Planning and Optimization #Transportation and Mobility Innovations #Urban and Freight Transport Logistics
  16. SoK: The MITRE ATT&CK Framework in Research and Practice
    2023/04/14 by Shanto Roy, Emmanouil Panaousis, Roy, Shanto +9 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Network Security and Intrusion Detection
  17. Multi-Agent Reinforcement Learning for Assessing False-Data Injection Attacks on Transportation Networks
    2023/12/22 by Eghtesad, Taha, Li, Sirui, Vorobeychik, Yevgeniy +1 · 1 citation
    #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  18. Task Grouping for Automated Multi-Task Machine Learning via Task Affinity Prediction
    2023/10/24 by Afiya Ayman, Ayan Mukhopadhyay, Ayman, Afiya +3 · 1 citation
    Computer Science · #Data Stream Mining Techniques #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  19. Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction
    2025/02/28 by Baiting Luo, Luo, Baiting, Ava Pettet +7 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #Data Management and Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)