default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 42 matches
- 2024
- Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan:
X-Wing. IACR Commun. Cryptol. 1(1): 21 (2024) - José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421 - José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024: 843 (2024) - Manuel Barbosa, Deirdre Connolly, João Diogo Duarte, Aaron Kaiser, Peter Schwabe, Karoline Varner, Bas Westerbaan:
X-Wing: The Hybrid KEM You've Been Looking For. IACR Cryptol. ePrint Arch. 2024: 39 (2024) - 2023
- José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(3): 164-193 (2023) - Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey:
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP 2023: 42:1-42:10 - Chunrui Zou, Walter C. Mankowski, Lauren Pantalone, Shefali Setia Verma, Eduardo Jose Mortani Barbosa Jr., Tessa S. Cook, Peter B. Noël, Erica L. Carpenter, Jeffrey C. Thompson, Russell T. Shinohara, Sharyn Katz, Despina Kontos:
A radiomics-based model for the outcome prediction in COVID-19 positive patients through deep learning with both longitudinal chest x-ray and chest computed tomography images. Medical Imaging: Computer-Aided Diagnosis 2023 - Hans Mertens, M. Hosseini, Thomas Chiarella, D. Zhou, S. Wang, G. Mannaert, E. Dupuy, D. Radisic, Z. Tao, Yusuke Oniki, Andriy Hikavyy, R. Rosseel, A. Mingardi, S. Choudhury, P. Puttarame Gowda, F. Sebaai, A. Peter, Kevin Vandersmissen, J. P. Soulie, An De Keersgieter, L. Petersen Barbosa Lima, C. Cavalcante, D. Batuk, G. T. Martinez, J. Geypen, F. Seidel, K. Paulussen, P. Favia, Jürgen Bömmels, Roger Loo, P. Wong, A. Sepulveda Marquez, B. T. Chan, Jérôme Mitard, S. Subramanian, S. Demuynck, E. Dentoni Litta, N. Horiguchi, S. Samavedam, S. Biesemans:
Nanosheet-based Complementary Field-Effect Transistors (CFETs) at 48nm Gate Pitch, and Middle Dielectric Isolation to enable CFET Inner Spacer Formation and Multi-Vt Patterning. VLSI Technology and Circuits 2023: 1-2 - Marco Araújo, João Silva, Pedro M. Santos, Himanshu Singh, Deepak Gunjal, João Pedro Fonseca, Paulo Duarte, Bruno Mendes, Raul Barbosa, Peter Steenkiste, Saeid Sabamoniri, Luis Lam, João Pereira, Harrison Kurunathan:
Demo: Object detection under 5G-edge mobility. WoWMoM 2023: 343-345 - José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023: 215 (2023) - Manuel Barbosa, Peter Schwabe:
Kyber terminates. IACR Cryptol. ePrint Arch. 2023: 708 (2023) - 2022
- Hicham El Aiss, Karina A. Barbosa, Andrés A. Peters:
Nonlinear Time-Delay Observer-Based Control to Estimate Vehicle States: Lateral Vehicle Model. IEEE Access 10: 110459-110472 (2022) - Federica Quaglia, Bálint Mészáros, Edoardo Salladini, András Hatos, Rita Pancsa, Lucía B. Chemes, Mátyás Pajkos, Tamas Lazar, Samuel Peña-Díaz, Jaime Santos, Veronika Ács, Nazanin Farahi, Erzsébet Fichó, Maria Cristina Aspromonte, Claudio Bassot, Anastasia Chasapi, Norman E. Davey, Radoslav Davidovic, Laszlo Dobson, Arne Elofsson, Gábor Erdös, Pascale Gaudet, Michelle G. Giglio, Juliana Glavina, Javier Iserte, Valentín Iglesias, Zsófia L. Kálmán, Matteo Lambrughi, Emanuela Leonardi, Sonia Longhi, Sandra Macedo-Ribeiro, Emiliano Maiani, Julia Marchetti, Cristina Marino Buslje, Attila Meszaros, Alexander Miguel Monzon, Giovanni Minervini, Suvarna Nadendla, Juliet F. Nilsson, Marián Novotný, Christos A. Ouzounis, Nicolas Palopoli, Elena Papaleo, Pedro J. Barbosa Pereira, Gabriele Pozzati, Vasilis J. Promponas, Jordi Pujols, Alma Carolina Sanchez Rocha, Martin Salas, Luciana Rodriguez Sawicki, Éva Schád, Aditi Shenoy, Tamás Szaniszló, Konstantinos D. Tsirigos, Nevena Veljkovic, Gustavo D. Parisi, Salvador Ventura, Zsuzsanna Dosztányi, Peter Tompa, Silvio C. E. Tosatto, Damiano Piovesan:
DisProt in 2022: improved quality and accessibility of protein intrinsic disorder annotation. Nucleic Acids Res. 50(D1): 480-487 (2022) - 2021
- Maicom Peters Xavier, Lara Turetta Pompei, Ana Carolina G. de O. Vieira, Matheus Avila Moreira de Paula, Carla Rezende Barbosa Bonin, Ruy Freitas Reis, Alexandre Bittencourt Pigozzo, Bárbara de Melo Quintela, Rodrigo Weber dos Santos, Marcelo Lobosco:
Modelling the Human Immune System Response to the ChAdOx1 nCoV-19 Vaccine. BIBM 2021: 3327-3333 - Roger Oliva, Raul Onrubia, Antonio Martellucci, Elena Daganzo-Eusebio, Flávio Jorge, Yan Soldo, Stephen J. English, Patricia de Rosnay, Peter Weston, José Barbosa, Ioannis Nestoras:
Results from the Ground RFI Detection System for Passive Microwave Earth Observation Data. IGARSS 2021: 1827-1830 - Cleber S. Peter, Thayná Oliveira, Eduardo Maroñas Monks, Fernanda P. Motta, Jorge L. V. Barbosa, Adenauer C. Yamin:
iOTA: An Approach to Secure Over-The-Air Updates on the Internet of Things Scenario. WebMedia 2021: 173-176 - Luciano Serafini, Raul Barbosa, Jasmin Grosinger, Luca Iocchi, Christian Napoli, Salvatore Rinzivillo, Jacques Robin, Alessandro Saffiotti, Teresa Scantamburlo, Peter Schüller, Paolo Traverso, Javier Vázquez-Salceda:
On some Foundational Aspects of Human-Centered Artificial Intelligence. CoRR abs/2112.14480 (2021) - Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala:
Security Characterization of J-PAKE and its Variants. IACR Cryptol. ePrint Arch. 2021: 824 (2021) - 2020
- András Hatos, Borbála Hajdu-Soltész, Alexander Miguel Monzon, Nicolas Palopoli, Lucía Álvarez, Burcu Aykaç Fas, Claudio Bassot, Guillermo I. Benítez, Martina Bevilacqua, Anastasia Chasapi, Lucía B. Chemes, Norman E. Davey, Radoslav Davidovic, A. Keith Dunker, Arne Elofsson, Julien Gobeill, Nicolás S. González Foutel, Govindarajan Sudha, Mainak Guharoy, Tamás Horváth, Valentin Iglesias, Andrey V. Kajava, Orsolya P. Kovács, John Lamb, Matteo Lambrughi, Tamas Lazar, Jeremy Y. Leclercq, Emanuela Leonardi, Sandra Macedo-Ribeiro, Mauricio Macossay-Castillo, Emiliano Maiani, José A. Manso, Cristina Marino Buslje, Elizabeth Martínez-Pérez, Bálint Mészáros, Ivan Micetic, Giovanni Minervini, Nikoletta Murvai, Marco Necci, Christos A. Ouzounis, Mátyás Pajkos, Lisanna Paladin, Rita Pancsa, Elena Papaleo, Gustavo D. Parisi, Emilie Pasche, Pedro J. Barbosa Pereira, Vasilis J. Promponas, Jordi Pujols, Federica Quaglia, Patrick Ruch, Marco Salvatore, Éva Schád, Beáta Szabó, Tamás Szaniszló, Stella Tamana, Ágnes Tantos, Nevena Veljkovic, Salvador Ventura, Wim F. Vranken, Zsuzsanna Dosztányi, Peter Tompa, Silvio C. E. Tosatto, Damiano Piovesan:
DisProt: intrinsic protein disorder annotation in 2020. Nucleic Acids Res. 48(Database-Issue): D269-D276 (2020) - Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie:
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD 2020: 352-359 - Roger Oliva, Raul Onrubia, Antonio Martellucci, Elena Daganzo-Eusebio, Flávio Jorge, Stephen J. English, Patricia de Rosnay, Peter Weston, José Barbosa, Ioannis Nestoras:
Ground RFI Detection System for Passive Microwave Earth Observation Data and Space Missions. IGARSS 2020: 3762-3765 - Babak Haghighi, Peter B. Noël, Eric A. Cohen, Lauren Pantalone, Anil Vachani, Katharine A. Rendle, Jocelyn Wainwright, Chelsea Saia, Eduardo Jose Mortani Barbosa Jr., Despina Kontos:
Assessment of CT image reconstruction parameters on radiomic features in a lung cancer screening cohort: the PROSPR study. Medical Imaging: Computer-Aided Diagnosis 2020 - 2019
- Peter Dam, Fernanda Duarte, Alberto Raposo:
Terrain Generation Based on Real World Locations for Military Training and Simulation. SBGames 2019: 173-181 - Georges Da Costa, Alexey L. Lastovetsky, Jorge G. Barbosa, Juan Carlos Díaz Martín, Juan-Luis García Zapata, Matthias Janetschek, Emmanuel Jeannot, João Leitão, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde:
Programming models and runtimes. Ultrascale Computing Systems 2019: 9-63 - 2018
- Paulo A. de Souza, Peter Marendy, Karien Barbosa, Setia Budi, Pascal Hirsch, Nasiha Nikolic, Tom Gunthorpe, Gustavo Pessin, Andrew Davie:
Low-Cost Electronic Tagging System for Bee Monitoring. Sensors 18(7): 2124 (2018) - 2017
- Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi:
Secure Multiparty Computation from SGX. Financial Cryptography 2017: 477-497 - 2016
- Rommel M. Barbosa, Peter Slater:
On the efficiency index of a graph. J. Comb. Optim. 31(3): 1134-1141 (2016) - Ismael H. F. dos Santos, Peter Dam, Pedro Arantes, Alberto Raposo, Luciano P. Soares:
Simulation Training in Oil Platforms. SVR 2016: 47-53 - Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi:
Secure Multiparty Computation from SGX. IACR Cryptol. ePrint Arch. 2016: 1057 (2016) - 2015
- Peter Dam, Renato Deris Prado, Daniel Radetic, Alberto Barbosa Raposo, Ismael H. F. dos Santos:
SimVR-Trei: A framework for developing vr-enhanced training. SEARIS 2015: 1-9
skipping 12 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-15 11:34 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint