Information-flow Interfaces and Security Lattices

Autor: Bartocci, Ezio, Henzinger, Thomas A., Nickovic, Dejan, da Costa, Ana Oliveira

Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation

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

Global analysis of the $U(3)^5$ symmetric SMEFT

Autor: Bartocci, Riccardo

The $U(3)^5$ symmetry within the SMEFT framework restricts the inclusion of only fully flavor-conserving operators at dimension six. This proceeding presents a global analysis of the SMEFT under this assumption. We provide global constraints on all 4

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

EUSO-SPB1 Mission and Science

Autor: Collaboration, JEM-EUSO, Abdellaoui, G., Abe, S., Adams. Jr., J. H., Allard, D., Alonso, G., Anchordoqui, L., Anzalone, A., Arnone, E., Asano, K., Attallah, R., Attoui, H., Pernas, M. Ave, Bachmann, R., Bacholle, S., Bagheri, M., Bakiri, M., Baláz, J., Barghini, D., Bartocci, S., Battisti, M., Bayer, J., Beldjilali, B., Belenguer, T., Belkhalfa, N., Bellotti, R., Belov, A. A., Benmessai, K., Bertaina, M., Bertone, P. F., Biermann, P. L., Bisconti, F., Blaksley, C., Blanc, N., Blin-Bondil, S., Bobik, P., Bogomilov, M., Bolmgren, K., Bozzo, E., Briz, S., Bruno, A., Caballero, K. S., Cafagna, F., Cambié, G., Campana, D., Capdevielle, J. N., Capel, F., Caramete, A., Caramete, L., Caruso, R., Casolino, M., Cassardo, C., Castellina, A., Catalano, O., Cellino, A., Černý, K., Chikawa, M., Chiritoi, G., Christl, M. J., Colalillo, R., Conti, L., Cotto, G., Crawford, H. J., Cremonini, R., Creusot, A., Cummings, A., Gónzalez, A. de Castro, de la Taille, C., del Peral, L., Desiato, J., Damian, A. Diaz, Diesing, R., Dinaucourt, P., Djakonow, A., Djemil, T., Ebersoldt, A., Ebisuzaki, T., Eser, J., Fenu, F., Fernández-González, S., Ferrarese, S., Filippatos, G., Finch, W., Fornaro, C., Fouka, M., Franceschi, A., Franchini, S., Fuglesang, C., Fujii, T., Fukushima, M., Galeotti, P., García-Ortega, E., Gardiol, D., Garipov, G. K., Gascón, E., Gazda, E., Genci, J., Golzio, A., Gorodetzky, P., Gregg, R., Green, A., Guarino, F., Guépin, C., Guzmán, A., Hachisu, Y., Haungs, A., Heigbes, T., Carretero, J. Hernández, Hulett, L., Ikeda, D., Inoue, N., Inoue, S., Isgrò, F., Itow, Y., Jammer, T., Jeong, S., Jochum, J., Joven, E., Judd, E. G., Jung, A., Kajino, F., Kajino, T., Kalli, S., Kaneko, I., Kasztelan, M., Katahira, K., Kawai, K., Kawasaki, Y., Kedadra, A., Khales, H., Khrenov, B. A., Kim, Jeong-Sook, Kim, Soon-Wook, Kleifges, M., Klimov, P. A., Kreykenbohm, I., Krizmanic, J. F., Królik, K., Kungel, V., Kurihara, Y., Kusenko, A., Kuznetsov, E., Lahmar, H., Lakhdari, F., Licandro, J., Campano, L. López, Martínez, F. López, Mackovjak, S., Mahdi, M., Mandát, D., Manfrin, M., Marcelli, L., Marcos, J. L., Marszał, W., Martín, Y., Martinez, O., Mase, K., Mastafa, M., Matthews, J. N., Mebarki, N., Medina-Tanco, G., Menshikov, A., Merino, A., Mese, M., Meseguer, J., Meyer, S. S., Mimouni, J., Miyamoto, H., Mizumoto, Y., Monaco, A., Ríos, J. A. Morales de los, Nachtman, J. M., Nagataki, S., Naitamor, S., Napolitano, T., Neronov, A., Nomoto, K., Nonaka, T., Ogawa, T., Ogio, S., Ohmori, H., Olinto, A. V., Onel, Y., Osteria, G., Otte, A. N., Pagliaro, A., Painter, W., Panasyuk, M. I., Panico, B., Parizot, E., Park, I. H., Pastircak, B., Paul, T., Pech, M., Pérez-Grande, I., Perfetto, F., Peter, T., Picozza, P., Pindado, S., Piotrowski, L. W., Piraino, S., Plebaniak, Z., Pollini, A., Popescu, E. M., Prevete, R., Prévôt, G., Prieto, H., Przybylak, M., Puehlhofer, G., Putis, M., Reardon, P., Reno, M. H., Reyes, M., Ricci, M., Frías, M. D. Rodríguez, Matamala, O. F. Romero, Ronga, F., Sabau, M. D., Saccá, G., Sagawa, H., Sahnoune, Z., Saito, A., Sakaki, N., Salazar, H., Sánchez, J. L., Balanzar, J. C. Sanchez, Santangelo, A., Sanz-Andrés, A., Saprykin, O. A., Sarazin, F., Sato, M., Scagliola, A., Schanz, T., Schieler, H., Schovánek, P., Scotti, V., Serra, M., Sharakin, S. A., Shimizu, H. M., Shinozaki, K., Soriano, J. F., Sotgiu, A., Stan, I., Strharský, I., Sugiyama, N., Supanitsky, D., Suzuki, M., Szabelski, J., Tajima, N., Tajima, T., Takahashi, Y., Takeda, M., Takizawa, Y., Talai, M. C., Tameda, Y., Tenzer, C., Thomas, S. B., Tibolla, O., Tkachev, L. G., Tomida, T., Tone, N., Toscano, S., Traïche, M., Tsunesada, Y., Tsuno, K., Turriziani, S., Uchihori, Y., Valdés-Galicia, J. F., Vallania, P., Valore, L., Vankova-Kirilova, G., Venters, T. M., Vigorito, C., Villaseñor, L., Vlcek, B., von Ballmoos, P., Vrabel, M., Wada, S., Watanabe, J., Watts. Jr., J., Muñoz, R. Weigand, Weindl, A., Wiencke, L., Wille, M., Wilms, J., Yamamoto, T., Yang, J., Yano, H., Yashin, I. V., Yonetoku, D., Yoshida, S., Young, R., Zgura, I. S., Zotov, M. Yu., Marchi, A. Zuccaro

Publikováno v: Astropart Phys 154 (2024) 102891

The Extreme Universe Space Observatory on a Super Pressure Balloon 1 (EUSO-SPB1) was launched in 2017 April from Wanaka, New Zealand. The plan of this mission of opportunity on a NASA super pressure balloon test flight was to circle the southern hemi

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

Gamma-Ray Burst observations by the high-energy charged particle detector on board the CSES-01 satellite between 2019 and 2021

Autor: Palma, Francesco, Martucci, Matteo, Neubüser, Coralie, Sotgiu, Alessandro, Follega, Francesco Maria, Ubertini, Pietro, Bazzano, Angela, Rodi, James, Ammendola, Roberto, Badoni, Davide, Bartocci, Simona, Battiston, Roberto, Beolè, Stefania, Bertello, Igor, Burger, William Jerome, Campana, Donatella, Cicone, Antonio, Cipollone, Piero, Coli, Silvia, Conti, Livio, Contin, Andrea, Cristoforetti, Marco, D'Angelo, Giulia, De Angelis, Fabrizio, De Donato, Cinzia, De Santis, Cristian, Diego, Piero, Di Luca, Andrea, Fiorenza, Emiliano, Gebbia, Giuseppe, Iuppa, Roberto, Lega, Alessandro, Lolli, Mauro, Martino, Bruno, Masciantonio, Giuseppe, Mergè, Matteo, Mese, Marco, Morbidini, Alfredo, Nozzoli, Francesco, Nuccilli, Fabrizio, Oliva, Alberto, Osteria, Giuseppe, Palmonari, Federico, Panico, Beatrice, Papini, Emanuele, Parmentier, Alexandra, Perciballi, Stefania, Perfetto, Francesco, Perinelli, Alessio, Picozza, Piergiorgio, Piersanti, Mirko, Pozzato, Michele, Rebustini, Gianmaria, Recchiuti, Dario, Ricci, Ester, Ricci, Marco, Ricciarini, Sergio Bruno, Russi, Andrea, Sahnoun, Zouleikha, Savino, Umberto, Scotti, Valentina, Shen, Xuhui, Sparvoli, Roberta, Tofani, Silvia, Vertolli, Nello, Vilona, Veronica, Vitale, Vincenzo, Zannoni, Ugo, Zeren, Zhima, Zoffoli, Simona, Zuccon, Paolo

In this paper we report the detection of five strong Gamma-Ray Bursts (GRBs) by the High-Energy Particle Detector (HEPD-01) mounted on board the China Seismo-Electromagnetic Satellite (CSES-01), operational since 2018 on a Sun-synchronous polar orbit

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

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge

Autor: Tundo, Alessandro, Mobilio, Marco, Ilager, Shashikant, Brandić, Ivona, Bartocci, Ezio, Mariani, Leonardo

The advent of edge devices dedicated to machine learning tasks enabled the execution of AI-based applications that efficiently process and classify the data acquired by the resource-constrained devices populating the Internet of Things. The prolifera

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