| |
Abdelkader, Hala
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
Anwar, Ali |
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
Article: fsews23sesafemlmain-id4515-p doi:10.1145/3617574.3617858
|
| |
Barnett, Scott
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
Biswas, Sumon |
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
Article: fsews23sesafemlmain-id7660-p doi:10.1145/3617574.3617861
|
| |
Bultan, Tevfik |
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
Article: fsews23sesafemlmain-id8716-p doi:10.1145/3617574.3617862
|
| |
Downing, Mara
|
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
Article: fsews23sesafemlmain-id8716-p doi:10.1145/3617574.3617862
|
| |
Gill, Waris
|
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
Article: fsews23sesafemlmain-id4515-p doi:10.1145/3617574.3617858
|
| |
Gopinath, Divya |
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
Article: fsews23sesafemlmain-id3372-p doi:10.1145/3617574.3622747
|
| |
Gulzar, Muhammad Ali |
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
Article: fsews23sesafemlmain-id4515-p doi:10.1145/3617574.3617858
|
| |
Jabbarvand, Reyhaneh
|
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
Article: fsews23sesafemlmain-id5493-p doi:10.1145/3617574.3617860
|
| |
Kang, Eunsuk
|
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
Article: fsews23sesafemlmain-id7660-p doi:10.1145/3617574.3617861
|
| |
Mohasel Arjomandi, Hossein
|
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
Article: fsews23sesafemlmain-id5493-p doi:10.1145/3617574.3617860
|
| |
Păsăreanu, Corina S.
|
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
Article: fsews23sesafemlmain-id3372-p doi:10.1145/3617574.3622747
|
| |
Rivera-Villicana, Jessica
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
Schneider, Jean-Guy
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
She, Yining |
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
Article: fsews23sesafemlmain-id7660-p doi:10.1145/3617574.3617861
|
| |
Simmons, Anj |
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
Sun, Youcheng |
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
Article: fsews23sesafemlmain-id3372-p doi:10.1145/3617574.3622747
|
| |
Usman, Muhammad
|
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
Article: fsews23sesafemlmain-id3372-p doi:10.1145/3617574.3622747
|
| |
Vasa, Rajesh
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|
| |
Wong, Sheng
|
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
Article: fsews23sesafemlmain-id5149-p doi:10.1145/3617574.3617859
|