English
Related papers

Related papers: A Brief Review on Some Architectures Providing Sup…

200 papers

Background: Due to their diversity, complexity, and above all importance, safety-critical and dependable systems must be developed with special diligence. Criticality increases as these systems likely contain artificial intelligence (AI)…

Software Engineering · Computer Science 2025-06-03 Amra Ramic , Stefan Kugele

Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be statically isolated from unsecured data or program logic. Despite the…

Programming Languages · Computer Science 2022-10-25 Hemant Gouni , Jonathan Aldrich

With Digital Twin (DT) construction and evolution occurring over time, stakeholders require tools to understand the current characteristics and conceptual architecture of the system at any time. We introduce DTInsight, a systematic and…

Software Engineering · Computer Science 2025-08-27 Kérian Fiter , Louis Malassigné-Onfroy , Bentley Oakes

Electronic-structure theory is the foundation of the description of materials including multiscale modeling of their properties and functions. Obviously, without sufficient accuracy at the base, reliable predictions are unlikely at any…

Materials Science · Physics 2026-04-22 Joseph W. Abbott , Carlos Mera Acosta , Alaa Akkoush , Alberto Ambrosetti , Viktor Atalla , Alexej Bagrets , Jörg Behler , Daniel Berger , Hannah Bertschi , Björn Bieniek , Jonas Björk , Volker Blum , Saeed Bohloul , Connor L. Box , Nicholas Boyer , Danilo Simoes Brambila , Gabriel A. Bramley , Kyle R. Bryenton , María Camarasa-Gómez , Christian Carbogno , Fabio Caruso , Sucismita Chutia , Michele Ceriotti , Gábor Csányi , William Dawson , Francisco A. Delesma , Fabio Della Sala , Bernard Delley , Robert A. DiStasio , Maria Dragoumi , Sander Driessen , Marc Dvorak , Simon Erker , Ferdinand Evers , Eduardo Fabiano , Matthew R. Farrow , Florian Fiebig , Jakob Filser , Lucas Foppa , Lukas Gallandi , Alberto Garcia , Ralf Gehrke , Simiam Ghan , Luca M. Ghiringhelli , Mark Glass , Stefan Goedecker , Dorothea Golze , Matthias Gramzow , James A. Green , Andrea Grisafi , Andreas Grüneis , Jan Günzl , Stefan Gutzeit , Samuel J. Hall , Felix Hanke , Ville Havu , Xingtao He , Joscha Hekele , Olle Hellman , Uthpala Herath , Jan Hermann , Daniel Hernangómez-Pérez , Oliver T. Hofmann , Johannes Hoja , Simon Hollweger , Lukas Hörmann , Ben Hourahine , Wei Bin How , William P. Huhn , Marcel Hülsberg , Timo Jacob , Sara Panahian Jand , Hong Jiang , Erin R. Johnson , Werner Jürgens , J. Matthias Kahk , Yosuke Kanai , Kisung Kang , Petr Karpov , Elisabeth Keller , Roman Kempt , Danish Khan , Matthias Kick , Benedikt P. Klein , Jan Kloppenburg , Alexander Knoll , Florian Knoop , Franz Knuth , Simone S. Köcher , Jannis Kockläuner , Sebastian Kokott , Thomas Körzdörfer , Hagen-Henrik Kowalski , Peter Kratzer , Pavel Kůs , Raul Laasner , Bruno Lang , Björn Lange , Marcel F. Langer , Ask Hjorth Larsen , Hermann Lederer , Susi Lehtola , Maja-Olivia Lenz-Himmer , Moritz Leucke , Sergey Levchenko , Alan Lewis , O. Anatole von Lilienfeld , Konstantin Lion , Werner Lipsunen , Johannes Lischner , Yair Litman , Chi Liu , Qing-Long Liu , Songrui Liu , Andrew J. Logsdail , Michael Lorke , Zekun Lou , Iuliia Mandzhieva , Andreas Marek , Johannes T. Margraf , Reinhard J. Maurer , Tobias Melson , Florian Merz , Jörg Meyer , Georg S. Michelitsch , Teruyasu Mizoguchi , Evgeny Moerman , Dylan Morgan , Jack Morgenstein , Jonathan Moussa , Akhil S. Nair , Lydia Nemec , Harald Oberhofer , Alberto Otero-de-la-Roza , Ramón L. Panadés-Barrueta , Thanush Patlolla , Mariia Pogodaeva , Alexander Pöppl , Alastair J. A. Price , Thomas A. R. Purcell , Jingkai Quan , Nathaniel Raimbault , Markus Rampp , Karsten Rasim , Ronald Redmer , Xinguo Ren , Karsten Reuter , Norina A. Richter , Stefan Ringe , Patrick Rinke , Simon P. Rittmeyer , Herzain I. Rivera-Arrieta , Matti Ropo , Mariana Rossi , Victor Ruiz , Nikita Rybin , Andrea Sanfilippo , Matthias Scheffler , Christoph Scheurer , Christoph Schober , Franziska Schubert , Tonghao Shen , Christopher Shepard , Honghui Shang , Kiyou Shibata , Andrei Sobolev , Ruyi Song , Aloysius Soon , Daniel T. Speckhard , Pavel V. Stishenko , Elia Stocco , Muhammad N. Tahir , Izumi Takahara , Jun Tang , Zechen Tang , Thomas Theis , Franziska Theiss , Alexandre Tkatchenko , Milica Todorović , George Trenins , Oliver T. Unke , Álvaro Vázquez-Mayagoitia , Oscar van Vuren , Daniel Waldschmidt , Han Wang , Yanyong Wang , Jürgen Wieferink , Jan Wilhelm , Scott Woodley , Jianhang Xu , Yong Xu , Yi Yao , Yingyu Yao , Mina Yoon , Victor Wen-zhe Yu , Zhenkun Yuan , Marios Zacharias , Igor Ying Zhang , Min-Ye Zhang , Wentao Zhang , Xingchen Zhang , Rundong Zhao , Shuo Zhao , Ruiyi Zhou , Yuanyuan Zhou , Tong Zhu

The decentralized and unregulated nature of cryptocurrencies, combined with their monetary value, has made them a vehicle for various illicit activities. One such activity is cryptojacking, an attack that uses stolen computing resources to…

Cryptography and Security · Computer Science 2025-05-06 Tanapoom Sermchaiwong , Jiasi Shen

This paper reports the first successful application of a differentiable architecture search (DARTS) approach to the deepfake and spoofing detection problems. An example of neural architecture search, DARTS operates upon a continuous,…

Machine Learning · Computer Science 2021-07-01 Wanying Ge , Michele Panariello , Jose Patino , Massimiliano Todisco , Nicholas Evans

Security in the Internet of Things (IoT) requires ways to regularly update firmware in the field. These demands ever increase with new, agile concepts such as security as code and should be considered a regular operation. Hosting massive…

Networking and Internet Architecture · Computer Science 2021-09-06 Cenk Gündoğan , Christian Amsüss , Thomas C. Schmidt , Matthias Wählisch

Process mining is a family of techniques for analysing business processes based on event logs extracted from information systems. Mainstream process mining tools are designed for intra-organizational settings, insofar as they assume that an…

Cryptography and Security · Computer Science 2020-04-14 Gamal Elkoumy , Stephan A. Fahrenkrog-Petersen , Marlon Dumas , Peeter Laud , Alisa Pankova , Matthias Weildich

An Intrusion Detection System (IDS) is a software that monitors a single or a network of computers for malicious activities (attacks) that are aimed at stealing or censoring information or corrupting network protocols. Most techniques used…

Cryptography and Security · Computer Science 2015-05-12 Mahdi Zamani , Mahnush Movahedi

In recent years, technology has advanced considerably with the introduction of many systems including advanced robotics, big data analytics, cloud computing, machine learning and many more. The opportunities to exploit the yet to come…

Cryptography and Security · Computer Science 2023-11-21 Sam Wen Ping , Jeffrey Cheok Jun Wah , Lee Wen Jie , Jeremy Bong Yong Han , Saira Muzafar

Attacks in cyberspace have got attention due to risk at privacy, breach of trust and financial losses for individuals as well as organizations. In recent years, these attacks have become more complex to analyze technically, as well as to…

Networking and Internet Architecture · Computer Science 2016-06-13 Koustav Sadhukhan , Rao Arvind Mallari , Tarun Yadav

Dynamic malware analysis executes the program in an isolated environment and monitors its run-time behaviour (e.g. system API calls) for malware detection. This technique has been proven to be effective against various code obfuscation…

Cryptography and Security · Computer Science 2020-01-27 Zhaoqi Zhang , Panpan Qi , Wei Wang

Dynamic dependability models, such as dynamic fault trees (DFTs) and dynamic reliability block diagrams (DRBDs), are introduced to overcome the modeling limitations of traditional models. Recently, higher-order logic (HOL) formalizations of…

Logic in Computer Science · Computer Science 2019-10-25 Yassmeen Elderhalli , Osman Hasan , Sofiene Tahar

Along with the development of intelligent manufacturing, especially with the high connectivity of the industrial control system (ICS), the network security of ICS becomes more important. And in recent years, there has been much research on…

Cryptography and Security · Computer Science 2023-08-08 Yang Li , Shihao Wu , Quan Pan

Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are…

Software Engineering · Computer Science 2022-09-29 Rafael C. Cardoso , Angelo Ferrando , Michael Fisher

Most modern multiple object tracking (MOT) systems follow the tracking-by-detection paradigm, consisting of a detector followed by a method for associating detections into tracks. There is a long history in tracking of combining motion and…

Computer Vision and Pattern Recognition · Computer Science 2021-06-08 Mohamed Chaabane , Peter Zhang , J. Ross Beveridge , Stephen O'Hara

Data Loss/Leakage Prevention (DLP) continues to be the main issue for many large organizations. There are multiple numbers of emerging security attach scenarios and a limitless number of overcoming solutions. Today's enterprises' major…

Cryptography and Security · Computer Science 2020-12-29 Mir Hassan , Chen Jincai , Adnan Iftekhar , Adnan Shehzad , Xiaohui Cui

With the emergence of smart cities, Internet of Things (IoT) devices as well as deep learning technologies have witnessed an increasing adoption. To support the requirements of such paradigm in terms of memory and computation, joint and…

Networking and Internet Architecture · Computer Science 2020-10-27 Emna Baccour , Aiman Erbad , Amr Mohamed , Mounir Hamdi , Mohsen Guizani

Confidentiality of the data is being endangered as it has been categorized into false categories which might get leaked to an unauthorized party. For this reason, various organizations are mainly implementing data leakage prevention systems…

Cryptography and Security · Computer Science 2022-03-11 Ishu Gupta , Sloni Mittal , Ankit Tiwari , Priya Agarwal , Ashutosh Kumar Singh

Intra-device parallelism addresses resource under-utilization in ML inference and training by overlapping the execution of operators with different resource usage. However, its wide adoption is hindered by a fundamental conflict with the…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-22 Yi Pan , Yile Gu , Jinbin Luo , Yibo Wu , Ziren Wang , Hongtao Zhang , Ziyi Xu , Shengkai Lin , Baris Kasikci , Stephanie Wang
‹ Prev 1 8 9 10 Next ›