An accurate solar axions ray-tracing response of BabyIAXO

Autor: Ahyoune, S., Altenmueller, K., Antolin, I., Basso, S., Brun, P., Candon, F. R., Castel, J. F., Cebrian, S., Chouhan, D., Della Ceca, R., Cervera-Cortes, M., Chernov, V., Civitani, M. M., Cogollos, C., Costa, E., Cotroneo, V., Dafni, T., Derbin, A., Desch, K., Diaz-Martin, M. C., Diaz-Morcillo, A., Diez-Ibanez, D., Pardos, C. Diez, Dinter, M., Doebrich, B., Drachnev, I., Dudarev, A., Ezquerro, A., Fabiani, S., Ferrer-Ribas, E., Finelli, F., Fleck, I., Galan, J., Galanti, G., Galaverni, M., Garcia, J. A., Garcia-Barcelo, J. M., Gastaldo, L., Giannotti, M., Giganon, A., Goblin, C., Goyal, N., Gu, Y., Hagge, L., Helary, L., Hengstler, D., Heuchel, D., Hoof, S., Iglesias-Marzoa, R., Iguaz, F. J., Iniguez, C., Irastorza, I. G., Jakovcic, K., Kaefer, D., Kaminski, J., Karstensen, S., Law, M., Lindner, A., Loidl, M., Loiseau, C., Lopez-Alegre, G., Lozano-Guerrero, A., Lubsandorzhiev, B., Luzon, G., Manthos, I., Margalejo, C., Marin-Franch, A., Marques, J., Marutzky, F., Menneglier, C., Mentink, M., Mertens, S., Miralda-Escude, J., Mirallas, H., Muleri, F., Muratova, V., Navarro-Madrid, J. R., Navick, X. F., Nikolopoulos, K., Notari, A., Nozik, A., Obis, L., Ortiz-de-Solorzano, A., O'Shea, T., von Oy, J., Pareschi, G., Papaevangelou, T., Perez, K., Perez, O., Picatoste, E., Pivovaroff, M. J., Porron, J., Puyuelo, M. J., Quintana, A., Redondo, J., Reuther, D., Ringwald, A., Rodrigues, M., Rubini, A., Rueda-Teruel, S., Rueda-Teruel, F., Ruiz-Choliz, E., Ruz, J., Schaffran, J., Schiffer, T., Schmidt, S., Schneekloth, U., Schoenfeld, L., Schott, M., Segui, L., Singh, U. R., Soffitta, P., Spiga, D., Stern, M., Straniero, O., Tavecchio, F., Unzhakov, E., Ushakov, N. A., Vecchi, G., Vogel, J. K., Voronin, D. M., Ward, R., Weltman, A., Wiesinger, C., Wolf, R., Yanes-Diaz, A., Yu, Y.

BabyIAXO is the intermediate stage of the International Axion Observatory (IAXO) to be hosted at DESY. Its primary goal is the detection of solar axions following the axion helioscope technique. Axions are converted into photons in a large magnet tha

Externí odkaz: http://arxiv.org/abs/2411.13915

DeVAIC: A Tool for Security Assessment of AI-generated Code

Autor: Cotroneo, Domenico, De Luca, Roberta, Liguori, Pietro

Context: AI code generators are revolutionizing code writing and software development, but their training on large datasets, including potentially untrusted source code, raises security concerns. Furthermore, these generators can produce incomplete c

Externí odkaz: http://arxiv.org/abs/2404.07548

AI Code Generators for Security: Friend or Foe?

Autor: Natella, Roberto, Liguori, Pietro, Improta, Cristina, Cukic, Bojan, Cotroneo, Domenico

Publikováno v: IEEE Security & Privacy, Early Access, February 2024

Recent advances of artificial intelligence (AI) code generators are opening new opportunities in software security research, including misuse by malicious actors. We review use cases for AI code generators for security and introduce an evaluation ben

Externí odkaz: http://arxiv.org/abs/2402.01219

Automating the Correctness Assessment of AI-generated Code for Security Contexts

Autor: Cotroneo, Domenico, Foggia, Alessio, Improta, Cristina, Liguori, Pietro, Natella, Roberto

Evaluating the correctness of code generated by AI is a challenging open problem. In this paper, we propose a fully automated method, named ACCA, to evaluate the correctness of AI-generated code for security purposes. The method uses symbolic executi

Externí odkaz: http://arxiv.org/abs/2310.18834

Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning Attacks

Autor: Cotroneo, Domenico, Improta, Cristina, Liguori, Pietro, Natella, Roberto

AI-based code generators have become pivotal in assisting developers in writing software starting from natural language (NL). However, they are trained on large amounts of data, often collected from unsanitized online sources (e.g., GitHub, HuggingFa

Externí odkaz: http://arxiv.org/abs/2308.04451