Search Results - Maffeis, Sergio

Refine Results
  1. 1
    Refinement Types for Secure Implementations

    Refinement Types for Secure Implementations by BENGTSON, Jesper, BHARGAVAN, Karthikeyan, FOURNET, Cédric, GORDON, Andrew D, MAFFEIS, Sergio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Language-Based Isolation of Untrusted JavaScript

    Language-Based Isolation of Untrusted JavaScript by Maffeis, S., Taly, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Discovering concrete attacks on website authorization by formal analysis

    Discovering concrete attacks on website authorization by formal analysis by Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection

    VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection by Hanif, Hazim, Maffeis, Sergio

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Discovering Concrete Attacks on Website Authorization by Formal Analysis

    Discovering Concrete Attacks on Website Authorization by Formal Analysis by Bansal, C., Bhargavan, K., Maffeis, S.

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Object Capabilities and Isolation of Untrusted Web Applications

    Object Capabilities and Isolation of Untrusted Web Applications by Maffeis, Sergio, Mitchell, John C, Taly, Ankur

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation

    Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation by Foley, Myles, Maffeis, Sergio

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Discovering concrete attacks on website authorization by formal analysis1

    Discovering concrete attacks on website authorization by formal analysis1 by Bansal, Chetan, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Maffeis, Sergio

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection

    VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection by Hanif, Hazim, Maffeis, Sergio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Abstract Domains for Type Juggling

    Abstract Domains for Type Juggling by Arceri, Vincenzo, Maffeis, Sergio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    APIRL: Deep Reinforcement Learning for REST API Fuzzing

    APIRL: Deep Reinforcement Learning for REST API Fuzzing by Foley, Myles, Maffeis, Sergio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Refinement Types for Secure Implementations

    Refinement Types for Secure Implementations by Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cédric, Gordon, Andrew D., Maffeis, Sergio

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Modelling dynamic web data

    Modelling dynamic web data by Gardner, Philippa, Maffeis, Sergio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    A Type Discipline for Authorization in Distributed Systems

    A Type Discipline for Authorization in Distributed Systems by Fournet, C., Gordon, A., Maffeis, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    A type discipline for authorization policies

    A type discipline for authorization policies by FOURNET, Cédric, GORDON, Andrew D, MAFFEIS, Sergio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems

    Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems by Zizzo, Giulio, Hankin, Chris, Maffeis, Sergio, Jones, Kevin

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    On the computational strength of pure ambient calculi

    On the computational strength of pure ambient calculi by Maffeis, Sergio, Phillips, Iain

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Refinement types for secure implementations

    Refinement types for secure implementations by Bengtson, Jesper, Bhargavan, Karthikeyan, Fournet, Cedric, Gordon, Andrew D, Maffeis, Sergio

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities

    A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities by Rabheru, Rishi, Hanif, Hazim, Maffeis, Sergio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    HarmLevelBench: Evaluating Harm-Level Compliance and the Impact of Quantization on Model Alignment

    HarmLevelBench: Evaluating Harm-Level Compliance and the Impact of Quantization on Model Alignment by Belkhiter, Yannis, Zizzo, Giulio, Maffeis, Sergio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: