HasTEE: Programming Trusted Execution Environments with Haskell

Autor: Sarkar, Abhiroop, Krook, Robert, Russo, Alejandro, Claessen, Koen

Trusted Execution Environments (TEEs) are hardware-enforced memory isolation units, emerging as a pivotal security solution for security-critical applications. TEEs, like Intel SGX and ARM TrustZone, allow the isolation of confidential code and data

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

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds

Autor: Lobo-Vesga, Elisabet, Russo, Alejandro, Gaboardi, Marco

Differential privacy offers a formal framework for reasoning about privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing data analyses. When carefully calibrated, these analyses simultaneo

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

Branching Processes for QuickCheck Generators

Autor: Mista, Agustín, Russo, Alejandro, Hughes, John

In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data types (ADT). In this paper, we adapt results from an area of mathematics k

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

Documenting the Recovery of Vascular Services in European Centres Following the Initial COVID-19 Pandemic Peak: Results from a Multicentre Collaborative Study

Autor: Ruffino, Maria Antonella, Chan, Sharon, Coughlin, Patrick, Awopetu, Ayoola, Stather, Philip, Lane, Tristan, Theodosiou, Dimitrios, Ahmed, Mohamed Abozeid, Vasudevan, Thodur, Ibrahim, Mohammed, Al Maadany, Faraj, Eljareh, Mohamed, Alkhafeefi, Fatimah Saad, Coscas, Raphael, Ünal, Ertekin Utku, Pulli, Raffaele, Zacà, Sergio, Angiletta, Domenico, Kotsis, Thomas, Moawad, Magdy, Tozzi, Matteo, Patelis, Nikolaos, Lazaris, Andreas M., Chuen, Jason, Croo, Alexander, Tsolaki, Elpiniki, Zenunaj, Gladiol, Kamal, Dhafer, Tolba, Mahmoud MH., Maresch, Martin, Khetarpaul, Vipul, Mills, Joseph, Gangwani, Gaurav, Elahwal, Mohamed, Khalil, Rana, Azab, Mohammed A., Mahomed, Anver, Whiston, Richard, Contractor, Ummul, Esposito, Davide, Pratesi, Carlo, Giacomelli, Elena, Troncoso, Martín Veras, Elkouri, Stephane, Johansson, Flavia Gentile, Dodos, Ilias, Benezit, Marie, Vidoedo, José, Rocha-Neves, João, Pereira-Neves, António Henrique, Dias-Neto, Marina Felicidade, Campos Jácome, Ana Filipa, Loureiro, Luis, Silva, Ivone, Garza-Herrera, Rodrigo, Canata, Victor, Bezard, Charlotte, Bowser, Kathryn, Tobar, Jorge Felipe, Vera, Carlos Gomez, Parra, Carolina Salinas, Lopez, Eugenia, Serra, Yvis Gadelha, Varela, Juan, Rubio, Vanessa, Victoria, Gerardo, Johnson, Adam, O’Banion, Leigh Ann, Makar, Ragai, Tantawy, Tamer Ghatwary, Storck, Martin, Jongkind, Vincent, falah, Orwa, McBride, Olivia, Isik, Arda, Papaioannou, Athanasios, Ocke Reis, Paulo Eduardo, Bracale, Umberto Marcello, Atkins, Ellie, Tinelli, Giovanni, Scott, Emma, Wales, Lucy, Sivaharan, Ashwin, Priona, Georgia, Nesbitt, Craig, Grainger, Tabitha, Shelmerdine, Lauren, Chong, Patrick, Bajwa, Adnan, Arwynck, Luke, Hadjievangelou, Nancy, Elbasty, Ahmed, Rubio, Oscar, Ricardo, Michael, Ulloa, Jorge H., Tarazona, Marcos, Pabon, Manuel, Pitoulias, Georgios, Corless, Kevin, Ioannidis, Orestis, Friedrich, Oliver, Van Herzeele, Isabelle, Vijaynagar, Badri, Cohnert, Tina, Bell, Rachel, Moore, Hayley, Saha, Prakash, Gifford, Edward, Laine, Matti, Barkat, Adel, Karkos, Christos, Binti Safri, Lenny Suryani, Buitron, Gabriel, Del Castillo, Javier, Carrera, Paul, Salinas, Nilson, Biagioni, Rodrigo Bruno, Benites, Sergio, Mafla, César Andrés, Pian, Putera Mas, Albino, Pereira, Serrano, Ernesto, Marin, Andres, González, Marco, Foreroga, Marsha, Russo, Alejandro, Reyes, Andrés, Guglielmone, Daniel, Grillo, Lorena, Flumignan, Ronald, Palones, Francisco Gomez, Silveira, Pierre Galvagni, Ramely, Rosnelifaizur Bin, Edeiken, Sara, Chetter, Ian, Green, Lucy, Sudarsanam, Abhilash, Lyons, Oliver, Lemmon, Gary, Neville, Richard, Castelli, Mariano, Hinojosa, Carlos A., Carvajal, Rubén Rodríguez, Rivera, Aksim, Wong, Peng, Drudi, Laura, Perkins, Jeremy, Sieunarine, Kishore, Attia, Doaa, Atef, Mahmoud, Eftychios, Lostoridis, Weaver, Fred, Ren, Leong Chuo, Alomari, Mohannad, Jamjoom, Reda, Aljarrah, Qusai, Abbas, Ayman, Alomran, Faris, Kumar, Ambrish, Altoijri, Abdulmajeed, ElSanhoury, Kareem T., Alhumaid, Ahmed, Fekry, Tamer, Sekhar, Raghuram, Theodoridis, Panagiotis, Panagiotis, Theodoridis, Roditis, Konstantinos, Tsiantoula, Paraskevi, Antoniou, Afroditi, Soler, Raphael, Hasemaki, Natasha, Baili, Efstratia, Mpaili, Eustratia, Huasen, Bella, Wallace, Tom, Duncan, Andrew, Metcalfe, Matthew, Mannoia, Kristyn, Bechara, Carlos F., Tsilimparis, Nikolaos, Aranson, Nathan, Riding, David, Palena, Mariano, McDonnell, Ciarán, Mouawad, Nicolas J., Banegas, Shonda, Rossi, Peter, Oshodi, Taohid, Diaz, Rodney, Afifi, Rana, Dindyal, Shiva, Thapar, Ankur, Kordzadeh, Ali, Pullas, Gonzalo, Lin, Stephanie, Davies, Chris, Darvall, Katy, Kodama, Akio, Gooneratne, Thushan, Gunawansa, Nalaka, Munoz, Alberto, Jie, Ng Jun, Bradley, Nicholas, Al-Jundi, Wissam, Meyer, Felicity, Lee, Cheong, Malina, Martin, Renton, Sophie, Lui, Dennis, Batchelder, Andrew, Oszkinis, Grzegorz, Freyrie, Antonio, Giordano, Jacopo, Saratzis, Nikolaos, Tigkiropoulos, Konstantinos, Kyriakos, Stavridis, Popov, Guriy, Cheema, Muhammad Usman, Lapolla, Pierfrancesco, Ling Patricia, Yih Chun, Ennab, Raed, Ullery, Brant W., Pasenidou, Ketino, Tam, Jacky, Sidel, Gabriel, Jayaprakash, Vivek Vardhan, Bennett, Lisa, Hardy, Simon, Davies, Emma, Baker, Sara, Wijesinghe, Lasantha, Tam, Adam, McCune, Ken, Chana, Manik, Lowe, Chris, Goh, Aaron, Powezka, Katarzyna, Kyrou, Ioanna, Altaf, Nishath, Harkin, Denis, Travers, Hannah, Cragg, James, sharif, Atif, Akhtar, Tasleem, Chávez, José Antonio, Ordonez, Claudia, Mazzurco, Martin, Choke, Edward, Asghar, Imran, Summerour, Virginia, Dunlop, Paul, Morley, Rachel, Hardy, Thomas, Bevis, Paul, Cuff, Robert, Stavroulakis, Konstantinos, Beropoulis, Efthymios, Argyriou, Angeliki, Loftus, Ian, Azhar, Bilal, Sheth, Sharvil, Usai, Marco Virgilio, Choudhry, Asad, Nicole, Kira, Boyle, Emily, Joyce, Doireann, Abdelaty Hassan, Mohammed Hassan, Saltiel, Alberto, Frahm-Jensen, Gert, Antoniou, George, Elhadi, Muhammed, Kimyaghalam, Ali, Malgor, Rafael, O'Banion, Leigh Ann, Telve, Diego, Isaak, Andrej, Schmidli, Jürg, McKevitt, Kevin, Siddiqui, Tam, Asciutto, Giuseppe, Floros, Nikolaos, Papadopoulos, George, Kafetzakis, Alexandros, Koutsias, Stylianos G., Nana, Petroula, Giannoukas, Athanasios, Kakkos, Stavros, Moulakakis, Konstantinos G., Shafique, Natasha, Jawien, Arkadiusz, Popplewell, Matthew, Imray, Chris, Abayasekara, Kumar, Rowlands, Timothy, Kuhan, Ganesh, Rajagopalan, Sriram, Jaipersad, Anthony, Sadia, Uzma, Kobe, Isaac, Mittapalli, Devender, Enemosah, Ibrahim, Behrendt, Christian-Alexander, Beck, Adam, Almudhafer, Muayyad, Ancetti, Stefano, Jacobs, Donald, Jayakumar, Priya, Malekpour, Fatemeh, Shalhub, Sherene, Keldiyorov, Boboyor, Simon, Meryl, Khashram, Manar, Rich, Nicole, Shepherd, Amanda, Meecham, Lewis, Doherty, Daniel, Benson, Ruth A.

Publikováno v: In EJVES Vascular Forum 2022 57:28-34

On Dynamic Flow-Sensitive Floating-Label Systems

Autor: Buiras, Pablo, Stefan, Deian, Russo, Alejandro

Flow-sensitive analysis for information-flow control (IFC) allows data structures to have mutable security labels, i.e., labels that can change over the course of the computation. This feature is often used to boost the permissiveness of the IFC moni

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