Search

Your search keyword '"Crafa A"' showing total 9 results
Start Over Author "Crafa A" Publication Year Range This year
9 results on '"Crafa A"'

1. Formal verification in Solidity and Move: insights from a comparative analysis

Author

Bartoletti, Massimo, Crafa, Silvia, and Lipparini, Enrico

Subjects
Computer Science - Cryptography and Security
Abstract

Formal verification plays a crucial role in making smart contracts safer, being able to find bugs or to guarantee their absence, as well as checking whether the business logic is correctly implemented. For Solidity, even though there already exist several mature verification tools, the semantical quirks of the language can make verification quite hard in practice. Move, on the other hand, has been designed with security and verification in mind, and it has been accompanied since its early stages by a formal verification tool, the Move Prover. In this paper, we investigate through a comparative analysis: 1) how the different designs of the two contract languages impact verification, and 2) what is the state-of-the-art of verification tools for the two languages, and how do they compare on three paradigmatic use cases. Our investigation is supported by an open dataset of verification tasks performed in Certora and in the Aptos Move Prover.

Published
2025

2. Human sperm RNA in male infertility

Author

Cannarella, Rossella, Crafa, Andrea, Curto, Roberto, Mongioì, Laura M., Garofalo, Vincenzo, Cannarella, Vittorio, Condorelli, Rosita A., La Vignera, Sandro, and Calogero, Aldo E.

Published
2025
Full Text
View/download PDF

3. Global Practice Patterns and Variations in the Medical and Surgical Management of Non- Obstructive Azoospermia: Results of a World-Wide Survey, Guidelines and Expert Recommendations

Author

Amarnath Rambhatla, Rupin Shah, Imad Ziouziou, Priyank Kothari, Gianmaria Salvio, Murat Gul, Taha Hamoda, Parviz Kavoussi, Widi Atmoko, Tuncay Toprak, Ponco Birowo, Edmund Ko, Mohamed Arafa, Ramy Abou Ghayda, Vilvapathy Senguttuvan Karthikeyan, Giorgio Ivan Russo, Germar-Michael Pinggera, Eric Chung, Ahmed M. Harraz, Marlon Martinez, Nguyen Ho Vinh Phuoc, Nicholas Tadros, Ramadan Saleh, Missy Savira, Giovanni M. Colpi, Wael Zohdy, Edoardo Pescatori, Hyun Jun Park, Shinichiro Fukuhara, Akira Tsujimura, Cesar Rojas-Cruz, Angelo Marino, Siu King Mak, Edouard Amar, Wael Ibrahim, Puneet Sindhwani, Naif Alhathal, Gian Maria Busetto, Manaf Al Hashimi, Ahmed El-Sakka, Asci Ramazan, Fotios Dimitriadis, Massimiliano Timpano, Davor Jezek, Baris Altay, Daniel Suslik Zylbersztejn, Michael YC Wong, Du Geon Moon, Christine Wyns, Safar Gamidov, Hamed Akhavizadegan, Alessandro Franceschelli, Kaan Aydos, Nguyen Quang, Shedeed Ashour, Adel Al Dayel, Mohammed S. Al-Marhoon, Sava Micic, Saleh Binsaleh, Alayman Hussein, Haitham Elbardisi, Taymour Mostafa, Jonathan Ramsay, Athanasios Zachariou, Islam Fathy Soliman Abdelrahman, Osvaldo Rajmil, Arif Kalkanli, Juan Manuel Corral Molina, Kadir Bocu, Gede Wirya Kusuma Duarsa, Gökhan Çeker, Ege Can Serefoglu, Fahmi Bahar, Nazim Gherabi, Shinnosuke Kuroda, Abderrazak Bouzouita, Ahmet Gudeloglu, Erman Ceyhan, Mohamed Saeed Mohamed Hasan, Muhammad Ujudud Musa, Ahmad Motawi, Chak-Lam Cho, Hisanori Taniguchi, Christopher Chee Kong Ho, Jesus Fernando Solorzano Vazquez, Shingai Mutambirwa, Nur Dokuzeylul Gungor, Marion Bendayan, Carlo Giulioni, Aykut Baser, Marco Falcone, Luca Boeri, Gideon Blecher, Alireza Kheradmand, Tamilselvi Sethupathy, Ricky Adriansjah, Nima Narimani, Charalampos Konstantinidis, Tuan Thanh Nguyen, Andrian Japari, Parisa Dolati, Keerti Singh, Cevahir Ozer, Selcuk Sarikaya, Nadia Sheibak, Ndagijimana Jean Bosco, Mehmet Serkan Özkent, Sang Thanh Le, Ioannis Sokolakis, Darren Katz, Ryan Smith, Manh Nguyen Truong, Tan V. Le, Zhongwei Huang, Muslim Dogan Deger, Umut Arslan, Gokhan Calik, Giorgio Franco, Ayman Rashed, Oguzhan Kahraman, Sotiris Andreadakis, Rosadi Putra, Giancarlo Balercia, Kareim Khalafalla, Rossella Cannarella, Anh Đặng Tuấn, Amr El Meliegy, Birute Zilaitiene, Marlene Lizbeth Zamora Ramirez, Filippo Giacone, Aldo E. Calogero, Konstantinos Makarounis, Sunil Jindal, Bac Nguyen Hoai, Ravi Banthia, Marcelo Rodriguez Peña, Dharani Moorthy, Aram Adamyan, Deniz Kulaksiz, Hussein Kandil, Nikolaos Sofikitis, Ciro Salzano, Andreas Jungwirth, Surendra Reddy Banka, Tiago Cesar Mierzwa, Tahsin Turunç, Divyanu Jain, Armen Avoyan, Pietro Salacone, Ateş Kadıoğlu, Chirag Gupta, Haocheng Lin, Iman Shamohammadi, Nasser Mogharabian, Trenton Barrett, Yavuz Onur Danacıoğlu, Andrea Crafa, Salima Daoud, Vineet Malhotra, Abdulmalik Almardawi, Osama Mohamed Selim, Mohamad Moussa, Saeid Haghdani, Mesut Berkan Duran, Yannic Kunz, Mirko Preto, Elena Eugeni, Thang Nguyen, Ahmed Rashad Elshahid, Seso Sulijaya Suyono, Dyandra Parikesit, Essam Nada, Eduardo Gutiérrez Orozco, Florence Boitrelle, Nguyen Thi Minh Trang, Mounir Jamali, Raju Nair, Mikhail Ruzaev, Franco Gadda, Charalampos Thomas, Raphael Henrique Ferreira, Umit Gul, Serena Maruccia, Ajay Kanbur, Ella Kinzikeeva, Saad Mohammed Abumelha, Raghavender Kosgi, Fatih Gokalp, Mohammad Ayodhia Soebadi, Gustavo Marquesine Paul, Hesamoddin Sajadi, Deepak Gupte, Rafael F. Ambar, Emrullah Sogutdelen, Karun Singla, Ari Basukarno, Shannon Hee Kyung Kim, Mohammad Ali Sadighi Gilani, Koichi Nagao, Sakti Ronggowardhana Brodjonegoro, Andri Rezano, Mohamed Elkhouly, Rossella Mazzilli, Hasan M. A. Farsi, Hung Nguyen Ba, Hamed Alali, Dimitrios Kafetzis, Tran Quang Tien Long, Sami Alsaid, Hoang Bao Ngoc Cuong, Knigavko Oleksandr, Akhmad Mustafa, Herik Acosta, Hrishikesh Pai, Bahadır Şahin, Eko Arianto, Colin Teo, Sanjay Prakash Jayaprakash, Rinaldo Indra Rachman, Mustafa Gurkan Yenice, Omar Sefrioui, Shivam Priyadarshi, Marko Tanic, Noor Kareem Alfatlaw, Fikri Rizaldi, Ranjit B. Vishwakarma, George Kanakis, Dinesh Thomas Cherian, Joe Lee, Raisa Galstyan, Hakan Keskin, Janan Wurzacher, Doddy Hami Seno, Bambang S Noegroho, Ria Margiana, Qaisar Javed, Fabrizio Castiglioni, Raman Tanwar, Ana Puigvert, Coşkun Kaya, Medianto Purnomo, Chadi Yazbeck, Azwar Amir, Edson Borges, Marina Bellavia, Isaac Ardianson Deswanto, Vinod KV, Giovanni Liguori, Dang Hoang Minh, Kashif Siddiqi, Fulvio Colombo, Armand Zini, Niket Patel, Selahittin Çayan, Ula Al-kawaz, Maged Ragab, Guadalupe Hernández Hebrard, Jean de la Rosette, Ozan Efesoy, Ivan Hoffmann, Thiago Afonso Teixeira, Barış Saylam, Daniela Delgadillo, and Ashok Agarwal

Subjects
azoospermia, hypogonadism, infertility, male, semen, sperm retrieval, Medicine, Diseases of the genitourinary system. Urology, RC870-923
Abstract

Purpose: Non-obstructive azoospermia (NOA) is a common, but complex problem, with multiple therapeutic options and a lack of clear guidelines. Hence, there is considerable controversy and marked variation in the management of NOA. This survey evaluates contemporary global practices related to medical and surgical management for patients with NOA. Materials and Methods: A 56-question online survey covering various aspects of the evaluation and management of NOA was sent to specialists around the globe. This paper analyzes the results of the second half of the survey dealing with the management of NOA. Results have been compared to current guidelines, and expert recommendations have been provided using a Delphi process. Results: Participants from 49 countries submitted 336 valid responses. Hormonal therapy for 3 to 6 months was suggested before surgical sperm retrieval (SSR) by 29.6% and 23.6% of participants for normogonadotropic hypogonadism and hypergonadotropic hypogonadism respectively. The SSR rate was reported as 50.0% by 26.0% to 50.0% of participants. Interestingly, 46.0% reported successful SSR in

Published
2025
Full Text
View/download PDF

4. Smart contract languages: A comparative analysis.

Author

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna 0002, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, and Roberto Zunino

Published
2025
Full Text
View/download PDF

5. Smart contract languages:A comparative analysis

Author

Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, Zunino, Roberto, Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, and Zunino, Roberto

Abstract

Smart contracts have played a pivotal role in the evolution of blockchains and Decentralized Applications (DApps). As DApps continue to gain widespread adoption, multiple smart contract languages have been and are being made available to developers, each with its distinctive features, strengths, and weaknesses. In this paper, we examine the smart contract languages used in major blockchain platforms, with the goal of providing a comprehensive assessment of their main properties. Our analysis targets the programming languages rather than the underlying architecture: as a result, while we do consider the interplay between language design and blockchain model, our main focus remains on language-specific features such as usability, programming style, safety and security. To conduct our assessment, we propose an original benchmark which encompasses a wide, yet manageable, spectrum of key use cases that cut across all the smart contract languages under examination.

Published
2025

7. Predictability of varicocele repair success: preliminary results of a machine learning-based approach.

Author

Crafa, Andrea, Russo, Marco, Cannarella, Rossella, Gül, Murat, Compagnone, Michele, Mongioì, Laura M, Cannarella, Vittorio, Condorelli, Rosita A, Vignera, Sandro La, and Calogero, Aldo E

Abstract

Varicocele is a prevalent condition in the infertile male population. However, to date, which patients may benefit most from varicocele repair is still a matter of debate. The purpose of this study was to evaluate whether certain preintervention sperm parameters are predictive of successful varicocele repair, defined as an improvement in total motile sperm count (TMSC). We performed a retrospective study on 111 patients with varicocele who had undergone varicocele repair, collected from the Department of Endocrinology, Metabolic Diseases and Nutrition, University of Catania (Catania, Italy), and the Unit of Urology at the Selcuk University School of Medicine (Konya, Türkiye). The predictive analysis was conducted through the use of the Brain Project, an innovative tool that allows a complete and totally unbiased search of mathematical expressions that relate the object of study to the various parameters available. Varicocele repair was considered successful when TMSC increased by at least 50% of the preintervention value. For patients with preintervention TMSC below 5 × 106, improvement was considered clinically relevant when the increase exceeded 50% and the absolute TMSC value was >5 × 106. From the preintervention TMSC alone, we found a model that predicts patients who appear to benefit little from varicocele repair with a sensitivity of 50.0% and a specificity of 81.8%. Varicocele grade and serum follicle-stimulating hormone (FSH) levels did not play a predictive role, but it should be noted that all patients enrolled in this study were selected with intermediate- or high-grade varicocele and normal FSH levels. In conclusion, preintervention TMSC is predictive of the success of varicocele repair in terms of TMSC improvement in patients with intermediate- or high-grade varicoceles and normal FSH levels. [ABSTRACT FROM AUTHOR]

Published
2025
Full Text
View/download PDF

9. Testicular function in postpubertal patients with growth hormone deficiency: A prospective controlled study.

Author

Cannarella R, Crafa A, Sapienza S, Curto R, Caruso MM, Condorelli RA, La Vignera S, and Calogero AE

Abstract

Background: We have previously shown that treatment with recombinant human growth hormone (GH) influences testicular growth in children with GH deficiency (GHD) and have suggested that GH plays a role in testicular growth in childhood. Little evidence is available on testicular function in post-pubertal GHD patients., Objective: This prospective controlled study was undertaken to evaluate testicular function in patients with GHD., Patients and Methods: Post-pubertal patients with non-syndromic GHD over the age of 16 years were enrolled. Each patient underwent to the assessment of serum levels of gonadotropins and total testosterone (TT), conventional sperm parameters, and testicular volume (TV) measured by ultrasound examination. Age-matched healthy subjects served as controls. Patients with disorders capable of interfering with testicular function were excluded., Results: 26 patients with GHD and 25 age-matched post-pubertal controls were enrolled. They did not differ in serum luteinizing hormone, follicle-stimulating hormone, and TT levels. However, GHD patients had lower semen volume, total sperm count, progressive motility, and total motility values, and a higher prevalence of oligozoospermia compared to controls. No difference was found in sperm concentration and normal morphology. Importantly, GHD patients had lower TV, and a higher prevalence of testicular hypotrophy., Conclusion: This is the first evidence of mildly impaired sperm parameters and TV in GHD patients compared to healthy controls. The integrity of the GH-IGF1 axis in prepuberty is important for achieving normal testicular function in adulthood. Evaluating testicular growth over time in GHD children and measuring TV and sperm parameters in postpubertal GHD boys is advisable., Competing Interests: The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper., (© 2025 The Authors. Published by Elsevier Inc.)

Published
2025
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results