SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "FedDefender: Backdoor Attack ..."
FedDefender: Backdoor Attack Defense in Federated Learning
Waris Gill, Ali Anwar, and Muhammad Ali Gulzar
(Virginia Tech, USA; University of Minnesota, USA)
@InProceedings{SE4SafeML23p6,
author = {Waris Gill and Ali Anwar and Muhammad Ali Gulzar},
title = {FedDefender: Backdoor Attack Defense in Federated Learning},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {6-5},
doi = {10.1145/3617574.3617858},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Towards Safe ML-Based Systems ..."
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas, Yining She, and Eunsuk Kang
(Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p21,
author = {Sumon Biswas and Yining She and Eunsuk Kang},
title = {Towards Safe ML-Based Systems in Presence of Feedback Loops},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3617574.3617861},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "The Case for Scalable Quantitative ..."
The Case for Scalable Quantitative Neural Network Analysis
Mara Downing and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{SE4SafeML23p26,
author = {Mara Downing and Tevfik Bultan},
title = {The Case for Scalable Quantitative Neural Network Analysis},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {26-25},
doi = {10.1145/3617574.3617862},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "The Case for Scalable Quantitative ..."
The Case for Scalable Quantitative Neural Network Analysis
Mara Downing and Tevfik Bultan
(University of California at Santa Barbara, USA)
@InProceedings{SE4SafeML23p26,
author = {Mara Downing and Tevfik Bultan},
title = {The Case for Scalable Quantitative Neural Network Analysis},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {26-25},
doi = {10.1145/3617574.3617862},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "FedDefender: Backdoor Attack ..."
FedDefender: Backdoor Attack Defense in Federated Learning
Waris Gill, Ali Anwar, and Muhammad Ali Gulzar
(Virginia Tech, USA; University of Minnesota, USA)
@InProceedings{SE4SafeML23p6,
author = {Waris Gill and Ali Anwar and Muhammad Ali Gulzar},
title = {FedDefender: Backdoor Attack Defense in Federated Learning},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {6-5},
doi = {10.1145/3617574.3617858},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Rule-Based Testing of Neural ..."
Rule-Based Testing of Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath, and Corina S. Păsăreanu
(University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p1,
author = {Muhammad Usman and Youcheng Sun and Divya Gopinath and Corina S. Păsăreanu},
title = {Rule-Based Testing of Neural Networks},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3617574.3622747},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "FedDefender: Backdoor Attack ..."
FedDefender: Backdoor Attack Defense in Federated Learning
Waris Gill, Ali Anwar, and Muhammad Ali Gulzar
(Virginia Tech, USA; University of Minnesota, USA)
@InProceedings{SE4SafeML23p6,
author = {Waris Gill and Ali Anwar and Muhammad Ali Gulzar},
title = {FedDefender: Backdoor Attack Defense in Federated Learning},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {6-5},
doi = {10.1145/3617574.3617858},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Interpretable On-the-Fly Repair ..."
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Hossein Mohasel Arjomandi and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{SE4SafeML23p16,
author = {Hossein Mohasel Arjomandi and Reyhaneh Jabbarvand},
title = {Interpretable On-the-Fly Repair of Deep Neural Classifiers},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3617574.3617860},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Towards Safe ML-Based Systems ..."
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas, Yining She, and Eunsuk Kang
(Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p21,
author = {Sumon Biswas and Yining She and Eunsuk Kang},
title = {Towards Safe ML-Based Systems in Presence of Feedback Loops},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3617574.3617861},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Interpretable On-the-Fly Repair ..."
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Hossein Mohasel Arjomandi and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA)
@InProceedings{SE4SafeML23p16,
author = {Hossein Mohasel Arjomandi and Reyhaneh Jabbarvand},
title = {Interpretable On-the-Fly Repair of Deep Neural Classifiers},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3617574.3617860},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Rule-Based Testing of Neural ..."
Rule-Based Testing of Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath, and Corina S. Păsăreanu
(University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p1,
author = {Muhammad Usman and Youcheng Sun and Divya Gopinath and Corina S. Păsăreanu},
title = {Rule-Based Testing of Neural Networks},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3617574.3622747},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Towards Safe ML-Based Systems ..."
Towards Safe ML-Based Systems in Presence of Feedback Loops
Sumon Biswas, Yining She, and Eunsuk Kang
(Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p21,
author = {Sumon Biswas and Yining She and Eunsuk Kang},
title = {Towards Safe ML-Based Systems in Presence of Feedback Loops},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3617574.3617861},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Rule-Based Testing of Neural ..."
Rule-Based Testing of Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath, and Corina S. Păsăreanu
(University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p1,
author = {Muhammad Usman and Youcheng Sun and Divya Gopinath and Corina S. Păsăreanu},
title = {Rule-Based Testing of Neural Networks},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3617574.3622747},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "Rule-Based Testing of Neural ..."
Rule-Based Testing of Neural Networks
Muhammad Usman, Youcheng Sun, Divya Gopinath, and Corina S. Păsăreanu
(University of Texas, USA; University of Manchester, UK; KBR @ NASA Ames Research Center, USA; Carnegie Mellon University, USA)
@InProceedings{SE4SafeML23p1,
author = {Muhammad Usman and Youcheng Sun and Divya Gopinath and Corina S. Păsăreanu},
title = {Rule-Based Testing of Neural Networks},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3617574.3622747},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version
SE4SafeML '23: "MLGuard: Defend Your Machine ..."
MLGuard: Defend Your Machine Learning Model!
Sheng Wong, Scott Barnett, Jessica Rivera-Villicana, Anj Simmons, Hala Abdelkader, Jean-Guy Schneider, and Rajesh Vasa
(Deakin University, Australia; RMIT University, Australia; Monash University, Australia)
@InProceedings{SE4SafeML23p11,
author = {Sheng Wong and Scott Barnett and Jessica Rivera-Villicana and Anj Simmons and Hala Abdelkader and Jean-Guy Schneider and Rajesh Vasa},
title = {MLGuard: Defend Your Machine Learning Model!},
booktitle = {Proc.\ SE4SafeML},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3617574.3617859},
year = {2023},
}
Publisher's Version