

@ARTICLE{BP,
  author={Zhang, Hanwei and Avrithis, Yannis and Furon, Teddy and Amsaleg, Laurent},
  journal={IEEE Transactions on Information Forensics and Security}, 
  title={Walking on the Edge: Fast, Low-Distortion Adversarial Examples}, 
  year={2021}}

@article{fmna,
  author = {Pintor, Maura and Roli, Fabio and Brendel, Wieland and Biggio, Battista},
  title = {Fast Minimum-norm Adversarial Attacks through Adaptive Norm Constraints},
  booktitle = {NeurIPS},
  year = {2021}
}
@article{resnet,
  author    = {Kaiming He and
               Xiangyu Zhang and
               Shaoqing Ren and
               Jian Sun},
  title     = {Deep Residual Learning for Image Recognition},
  journal   = {CoRR},
  volume    = {abs/1512.03385},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.03385},
  eprinttype = {arXiv},
  eprint    = {1512.03385},
  timestamp = {Wed, 17 Apr 2019 17:23:45 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/HeZRS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{cod_is,
author = {Li, Bo and Bengtsson, Thomas and Bickel, Peter},
year = {2005},
month = {01},
pages = {},
title = {Curse-of-dimensionality revisited: Collapse of importance sampling in very large scale systems}
}
@InProceedings{titaistats,
  title = 	 {Gradient-Informed Neural Network Statistical Robustness Estimation},
  author =       {Tit, Karim and Furon, Teddy and Rousset, Mathias},
  booktitle = 	 {Proceedings of The 26th International Conference on Artificial Intelligence and Statistics},
  pages = 	 {323--334},
  year = 	 {2023},
  editor = 	 {Ruiz, Francisco and Dy, Jennifer and van de Meent, Jan-Willem},
  volume = 	 {206},
  series = 	 {Proceedings of Machine Learning Research},
  month = 	 {25--27 Apr},
  publisher =    {PMLR},
  pdf = 	 {https://proceedings.mlr.press/v206/tit23a/tit23a.pdf},
  url = 	 {https://proceedings.mlr.press/v206/tit23a.html},

}

@INPROCEEDINGS{combine,
  author={Jacquemart-Tomi, Damien and Morio, Jérôme and Le Gland, François},
  booktitle={2013 Winter Simulations Conference (WSC)}, 
  title={A combined importance splitting and sampling algorithm for rare event estimation}, 
  year={2013},
  volume={},
  number={},
  pages={1035-1046},
  keywords={Trajectory;Markov processes;Approximation methods;Estimation;Glands;Approximation algorithms;Equations},
  doi={10.1109/WSC.2013.6721493}}


@book{rubinstein_kroese,
author = {Rubinstein, Reuven Y. and Kroese, Dirk P.},
title = {Simulation and the Monte Carlo Method},
year = {2016},
isbn = {1118632168},
publisher = {Wiley Publishing},
edition = {3rd},
}
@article{rosenblatt,
 ISSN = {00034851},
 URL = {http://www.jstor.org/stable/2236692},
 author = {Murray Rosenblatt},
 journal = {The Annals of Mathematical Statistics},
 number = {3},
 pages = {470--472},
 publisher = {Institute of Mathematical Statistics},
 title = {Remarks on a Multivariate Transformation},
 urldate = {2023-12-05},
 volume = {23},
 year = {1952}
}
@article{beck_mls,
title = {Estimation of small failure probabilities in high dimensions by subset simulation},
journal = {Probabilistic Engineering Mechanics},
volume = {16},
number = {4},
pages = {263-277},
year = {2001},
issn = {0266-8920},
doi = {https://doi.org/10.1016/S0266-8920(01)00019-4},
url = {https://www.sciencedirect.com/science/article/pii/S0266892001000194},
author = {Siu-Kui Au and James L. Beck},
keywords = {Markov chain Monte Carlo method, Monte Carlo simulation, Reliability, First excursion probability, First passage problem, Metropolis algorithm},

}
@article{seq_testing,
 ISSN = {00034851},
 URL = {http://www.jstor.org/stable/2235829},
 author = {A. Wald},
 journal = {The Annals of Mathematical Statistics},
 number = {2},
 pages = {117--186},
 publisher = {Institute of Mathematical Statistics},
 title = {Sequential Tests of Statistical Hypotheses},
 urldate = {2024-02-09},
 volume = {16},
 year = {1945}
}
@article{line_sampling,
title = {Reliability of structures in high dimensions, part I: algorithms and applications},
journal = {Probabilistic Engineering Mechanics},
volume = {19},
number = {4},
pages = {409-417},
year = {2004},
issn = {0266-8920},
doi = {https://doi.org/10.1016/j.probengmech.2004.05.001},
url = {https://www.sciencedirect.com/science/article/pii/S0266892004000402},
author = {P.S. Koutsourelakis and H.J. Pradlwarter and G.I. Schuëller},
keywords = {Reliability, Simulation, Line sampling, Markov Chain Monte Carlo},

}
@InProceedings{scalable_verification,
      title={Scalable Quantitative Verification For Deep Neural Networks}, 
      author={Teodora Baluta and Zheng Leong Chua and Kuldeep S. Meel and Prateek Saxena},
      year={2021},
      booktitle = {Proc. of Int. Conf. on Software Engineering},
      eprint={2002.06864},
      archivePrefix={arXiv},
      primaryClass={cs.LG}
}
@book{stat_rel,
  title={Structural and System Reliability},
  author={Der Kiureghian, A.},
  isbn={9781108834148},
  lccn={2021027030},
  url={https://books.google.fr/books?id=M_JLEAAAQBAJ},
  year={2022},
  publisher={Cambridge University Press}
}
@INPROCEEDINGS{carlini_wagner,
  author={Carlini, Nicholas and Wagner, David},
  booktitle={2017 IEEE Symposium on Security and Privacy (SP)}, 
  title={Towards Evaluating the Robustness of Neural Networks}, 
  year={2017}}

@article{HasoferLind,
  title={Exact and Invariant Second-Moment Code Format},
  author={Abraham M. Hasofer and Niels Lind},
  journal={Journal of Engineering Mechanics-asce},
  year={1974},
  volume={100},
  pages={111-121},
  url={https://api.semanticscholar.org/CorpusID:118986521}
}
@article{hlrf,
title = {Structural reliability under combined random load sequences},
journal = {Computers & Structures},
volume = {9},
number = {5},
pages = {489-494},
year = {1978},
issn = {0045-7949},
doi = {https://doi.org/10.1016/0045-7949(78)90046-9},
url = {https://www.sciencedirect.com/science/article/pii/0045794978900469},
author = {Rüdiger Rackwitz and Bernd Flessler},

}




















