English
Related papers

Related papers: Report on the "Secure Vehicular Communications: Re…

200 papers

Vehicular communications have attracted more and more attention recently from both industry and academia due to its strong potential to enhance road safety, improve traffic efficiency, and provide rich on-board information and entertainment…

Information Theory · Computer Science 2017-09-19 Le Liang , Haixia Peng , Geoffrey Ye Li , Xuemin Shen

This report provides an overview of the workshop titled Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems, hosted by the Centre for Robotic Autonomy in Demanding and Long-Lasting Environments (CRADLE)…

Robotics · Computer Science 2025-01-31 Dhaminda B. Abeywickrama , Michael Fisher , Frederic Wheeler , Louise Dennis

This manuscript summarizes the outcome of the focus groups at "The f(A)bulous workshop on matrix functions and exponential integrators", held at the Max Planck Institute for Dynamics of Complex Technical Systems in Magdeburg, Germany, on…

Numerical Analysis · Mathematics 2024-01-30 Massimiliano Fasi , Stéphane Gaudreault , Kathryn Lund , Marcel Schweitzer

Vehicular Communication (VC) systems will greatly enhance intelligent transportation systems. But their security and the protection of their users' privacy are a prerequisite for deployment. Efforts in industry and academia brought forth a…

Cryptography and Security · Computer Science 2017-01-05 Mohammad Khodaei , Panos Papadimitratos

Automated Vehicles (AVs) hold promise for revolutionizing transportation by improving road safety, traffic efficiency, and overall mobility. Despite the steady advancement in high-level AVs in recent years, the transition to full automation…

Robotics · Computer Science 2025-09-15 Yongqi Dong , Bart van Arem , Haneen Farah

This workshop focused on identifying the challenges and dynamics between people and robots to foster short interactions and long-lasting relationships in different fields, from educational, service, collaborative, companion, care-home and…

Robotics · Computer Science 2023-11-10 Alessandra Rossi , Patrick Holthaus , Gabriella Lakatos , Sílvia Moros , Lewis Riches

We propose a half-day workshop at IEEE VIS 2023 on the topic of communication and collaboration around data. Specifically, we aim to gather researchers interested on multimodal, synchronous, and remote or hybrid forms of communication and…

Human-Computer Interaction · Computer Science 2023-04-13 Matthew Brehmer , Maxime Cordeil , Christophe Hurter , Takayuki Itoh

The increasing adoption of autonomous vehicles is bringing a major shift in the automotive industry. However, as these vehicles become more connected, cybersecurity threats have emerged as a serious concern. Protecting the security and…

Cryptography and Security · Computer Science 2025-04-30 Sai varun reddy Bhemavarapu

Please see the content of this report.

Computer Science and Game Theory · Computer Science 2008-04-18 Yi Su , Mihaela van der Schaar

In Vehicle-to-Everything (V2X) systems, reliable and secure information exchange plays a pivotal role in road safety and traffic management. Due to the open nature of the wireless medium and the constant or intermittent mobility of…

Information Theory · Computer Science 2023-12-05 Kan Yu , Zhiyong Feng , Dong Li , Jiguo Yu

Autonomous vehicles have been actively investigated over the past few decades. Several recent works show the potential of autonomous vehicles in urban environments with impressive experimental results. However, these works note that…

Robotics · Computer Science 2024-03-21 Doosan Baek , Sanghyun Kim , Seung-Woo Seo , Sang-Hyun Lee

In this paper we have discussed about the number of automobiles that has been increased on the road in the past few years. Due to high density of vehicles, the potential threats and road accident is increasing. Wireless technology is aiming…

Networking and Internet Architecture · Computer Science 2013-04-19 Vaishali D. Khairnar , S. N. Pradhan

Cybersecurity incidents such as data breaches have become increasingly common, affecting millions of users and organizations worldwide. The complexity of cybersecurity threats challenges the effectiveness of existing security communication…

Cryptography and Security · Computer Science 2025-04-04 Carolina Carreira , Alexandra Mendes , João F. Ferreira , Nicolas Christin

Organisations are upscaling their use of agile. Agile ways of working are used in larger projects and also in organisational units outside IT. This paper reports on the results of the first international workshop on agile transformation,…

Software Engineering · Computer Science 2019-07-25 Leonor Barroca , Torgeir Dingsøyr , Marius Mikalsen

This research is about an online forum designed and developed to improve the communication process between alumni, new, old and upcoming students. In this research paper we present targeted problems, designed architecture, used technologies…

Databases · Computer Science 2010-08-10 Zeeshan Ahmed , Sudhir Ganti

A system safety case is a compelling, comprehensible, and valid argument about the satisfaction of the safety goals of a given system operating in a given environment supported by convincing evidence. Since the publication of UL 4600 in…

Software Engineering · Computer Science 2024-04-09 Michael Wagner , Carmen Carlan

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

Logic in Computer Science · Computer Science 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

This report, based on the Dark Sectors workshop at SLAC in April 2016, summarizes the scientific importance of searches for dark sector dark matter and forces at masses beneath the weak-scale, the status of this broad international field,…

High Energy Physics - Phenomenology · Physics 2016-09-01 Jim Alexander , Marco Battaglieri , Bertrand Echenard , Rouven Essig , Matthew Graham , Eder Izaguirre , John Jaros , Gordan Krnjaic , Jeremy Mardon , David Morrissey , Tim Nelson , Maxim Perelstein , Matt Pyle , Adam Ritz , Philip Schuster , Brian Shuve , Natalia Toro , Richard G Van De Water , Daniel Akerib , Haipeng An , Konrad Aniol , Isaac J. Arnquist , David M. Asner , Henning O. Back , Keith Baker , Nathan Baltzell , Dipanwita Banerjee , Brian Batell , Daniel Bauer , James Beacham , Jay Benesch , James Bjorken , Nikita Blinov , Celine Boehm , Mariangela Bondí , Walter Bonivento , Fabio Bossi , Stanley J. Brodsky , Ran Budnik , Stephen Bueltmann , Masroor H. Bukhari , Raymond Bunker , Massimo Carpinelli , Concetta Cartaro , David Cassel , Gianluca Cavoto , Andrea Celentano , Animesh Chaterjee , Saptarshi Chaudhuri , Gabriele Chiodini , Hsiao-Mei Sherry Cho , Eric D. Church , D. A. Cooke , Jodi Cooley , Robert Cooper , Ross Corliss , Paolo Crivelli , Francesca Curciarello , Annalisa D'Angelo , Hooman Davoudiasl , Marzio De Napoli , Raffaella De Vita , Achim Denig , Patrick deNiverville , Abhay Deshpande , Ranjan Dharmapalan , Bogdan Dobrescu , Sergey Donskov , Raphael Dupre , Juan Estrada , Stuart Fegan , Torben Ferber , Clive Field , Enectali Figueroa-Feliciano , Alessandra Filippi , Bartosz Fornal , Arne Freyberger , Alexander Friedland , Iftach Galon , Susan Gardner , Francois-Xavier Girod , Sergei Gninenko , Andrey Golutvin , Stefania Gori , Christoph Grab , Enrico Graziani , Keith Griffioen , Andrew Haas , Keisuke Harigaya , Christopher Hearty , Scott Hertel , JoAnne Hewett , Andrew Hime , David Hitlin , Yonit Hochberg , Roy J. Holt , Maurik Holtrop , Eric W. Hoppe , Todd W. Hossbach , Lauren Hsu , Phil Ilten , Joe Incandela , Gianluca Inguglia , Kent Irwin , Igal Jaegle , Robert P. Johnson , Yonatan Kahn , Grzegorz Kalicy , Zhong-Bo Kang , Vardan Khachatryan , Venelin Kozhuharov , N. V. Krasnikov , Valery Kubarovsky , Eric Kuflik , Noah Kurinsky , Ranjan Laha , Gaia Lanfranchi , Dale Li , Tongyan Lin , Mariangela Lisanti , Kun Liu , Ming Liu , Ben Loer , Dinesh Loomba , Valery E. Lyubovitskij , Aaron Manalaysay , Giuseppe Mandaglio , Jeremiah Mans , W. J. Marciano , Thomas Markiewicz , Luca Marsicano , Takashi Maruyama , Victor A. Matveev , David McKeen , Bryan McKinnon , Dan McKinsey , Harald Merkel , Jeremy Mock , Maria Elena Monzani , Omar Moreno , Corina Nantais , Sebouh Paul , Michael Peskin , Vladimir Poliakov , Antonio D Polosa , Maxim Pospelov , Igor Rachek , Balint Radics , Mauro Raggi , Nunzio Randazzo , Blair Ratcliff , Alessandro Rizzo , Thomas Rizzo , Alan Robinson , Andre Rubbia , David Rubin , Dylan Rueter , Tarek Saab , Elena Santopinto , Richard Schnee , Jessie Shelton , Gabriele Simi , Ani Simonyan , Valeria Sipala , Oren Slone , Elton Smith , Daniel Snowden-Ifft , Matthew Solt , Peter Sorensen , Yotam Soreq , Stefania Spagnolo , James Spencer , Stepan Stepanyan , Jan Strube , Michael Sullivan , Arun S. Tadepalli , Tim Tait , Mauro Taiuti , Philip Tanedo , Rex Tayloe , Jesse Thaler , Nhan V. Tran , Sean Tulin , Christopher G. Tully , Sho Uemura , Maurizio Ungaro , Paolo Valente , Holly Vance , Jerry Vavra , Tomer Volansky , Belina von Krosigk , Andrew Whitbeck , Mike Williams , Peter Wittich , Bogdan Wojtsekhowski , Wei Xue , Jong Min Yoon , Hai-Bo Yu , Jaehoon Yu , Tien-Tien Yu , Yue Zhang , Yue Zhao , Yiming Zhong , Kathryn Zurek

This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on…

Programming Languages · Computer Science 2013-07-31 Stéphane Graham-Lengrand , Luca Paolini

This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of…

Software Engineering · Computer Science 2014-04-24 Catherine Dubois , Dimitra Giannakopoulou , Dominique Méry