Verifying components of Arm(R) Confidential Computing Architecture with ESBMC

Autor: Wu, Tong, Xiong, Shale, Manino, Edoardo, Stockwell, Gareth, Cordeiro, Lucas C.

Realm Management Monitor (RMM) is an essential firmware component within the recent Arm Confidential Computing Architecture (Arm CCA). Previous work applies formal techniques to verify the specification and prototype reference implementation of RMM.

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

Suppression of ferroptosis by vitamin A or radical-trapping antioxidants is essential for neuronal development

Autor: Juliane Tschuck, Vidya Padmanabhan Nair, Ana Galhoz, Carole Zaratiegui, Hin-Man Tai, Gabriele Ciceri, Ina Rothenaigner, Jason Tchieu, Brent R. Stockwell, Lorenz Studer, Daphne S. Cabianca, Michael P. Menden, Michelle Vincendeau, Kamyar Hadian

Publikováno v: Nature Communications, Vol 15, Iss 1, Pp 1-14 (2024)

Abstract The development of functional neurons is a complex orchestration of multiple signaling pathways controlling cell proliferation and differentiation. Because the balance of antioxidants is important for neuronal survival and development, we hy

Externí odkaz: https://doaj.org/article/444c8caf5d9e4924ae0ce2d1e59fd94d

Preventing Discriminatory Decision-making in Evolving Data Streams

Autor: Wang, Zichong, Saxena, Nripsuta, Yu, Tongjia, Karki, Sneha, Zetty, Tyler, Haque, Israat, Zhou, Shan, Kc, Dukka, Stockwell, Ian, Bifet, Albert, Zhang, Wenbin

Bias in machine learning has rightly received significant attention over the last decade. However, most fair machine learning (fair-ML) work to address bias in decision-making systems has focused solely on the offline setting. Despite the wide preval

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

Current experience and future potential of facilitating access to digital NHS primary care services in England: the Di-Facto mixed-methods study

Autor: Gary Abel, Helen Atherton, Jon Sussex, Nurunnahar Akter, Abodunrin Q Aminu, Wiktoria Bak, Carol Bryce, Christopher E Clark, Emma Cockcroft, Hamish Evans, Evangelos Gkousis, Georgia Jenkins, Caroline Jenkinson, Nada Khan, Jeffrey Lambert, Brandi Leach, Christine Marriott, Jennifer Newbould, Sarah Parkinson, Jo Parsons, Emma Pitchforth, Laura Sheard, Stephanie Stockwell, Chloe Thomas, Bethan Treadgold, Rachel Winder, John L Campbell

Publikováno v: Health and Social Care Delivery Research, Vol 12, Iss 32 (2024)

Background Current National Health Service policy in England encourages enhanced digital access in primary care service provision. In this study, we investigate ‘digital facilitation’ – that range of processes, procedures and personnel which se

Externí odkaz: https://doaj.org/article/c8c74fb7745b47aeb7bfb57dbd23db9b

Ferroptosis in health and disease

Autor: Carsten Berndt, Hamed Alborzinia, Vera Skafar Amen, Scott Ayton, Uladzimir Barayeu, Alexander Bartelt, Hülya Bayir, Christina M. Bebber, Kivanc Birsoy, Jan P. Böttcher, Simone Brabletz, Thomas Brabletz, Ashley R. Brown, Bernhard Brüne, Giorgia Bulli, Alix Bruneau, Quan Chen, Gina M. DeNicola, Tobias P. Dick, Ayelén Distéfano, Scott J. Dixon, Jan B. Engler, Julia Esser-von Bieren, Maria Fedorova, José Pedro Friedmann Angeli, Manuel A. Friese, Dominic C. Fuhrmann, Ana J. García-Sáez, Karolina Garbowicz, Magdalena Götz, Wei Gu, Linda Hammerich, Behrouz Hassannia, Xuejun Jiang, Aicha Jeridi, Yun Pyo Kang, Valerian E. Kagan, David B. Konrad, Stefan Kotschi, Peng Lei, Marlène Le Tertre, Sima Lev, Deguang Liang, Andreas Linkermann, Carolin Lohr, Svenja Lorenz, Tom Luedde, Axel Methner, Bernhard Michalke, Anna V. Milton, Junxia Min, Eikan Mishima, Sebastian Müller, Hozumi Motohashi, Martina U. Muckenthaler, Shohei Murakami, James A. Olzmann, Gabriela Pagnussat, Zijan Pan, Thales Papagiannakopoulos, Lohans Pedrera Puentes, Derek A. Pratt, Bettina Proneth, Lukas Ramsauer, Raphael Rodriguez, Yoshiro Saito, Felix Schmidt, Carina Schmitt, Almut Schulze, Annemarie Schwab, Anna Schwantes, Mariluz Soula, Benedikt Spitzlberger, Brent R. Stockwell, Leonie Thewes, Oliver Thorn-Seshold, Shinya Toyokuni, Wulf Tonnus, Andreas Trumpp, Peter Vandenabeele, Tom Vanden Berghe, Vivek Venkataramani, Felix C.E. Vogel, Silvia von Karstedt, Fudi Wang, Frank Westermann, Chantal Wientjens, Christoph Wilhelm, Michele Wölk, Katherine Wu, Xin Yang, Fan Yu, Yilong Zou, Marcus Conrad

Publikováno v: Redox Biology, Vol 75, Iss , Pp 103211- (2024)

Ferroptosis is a pervasive non-apoptotic form of cell death highly relevant in various degenerative diseases and malignancies. The hallmark of ferroptosis is uncontrolled and overwhelming peroxidation of polyunsaturated fatty acids contained in membr

Externí odkaz: https://doaj.org/article/704bf377a6004407992c3cd92011cf30