A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols

The large number of Electronic Control Units (ECUs) mounted on modern cars and their expansive communication capabilities create a substantial attack surface for potential exploitation. Despite the evolution of automotive technology, the continued use of the originally insecure Controller Area Network (CAN) bus leaves in-vehicle communications inherently non-secure. In response to the absence of standardized authentication protocols within the automotive domain, researchers propose diverse solutions, each with unique strengths and vulnerabilities. However, the continuous influx of new protocols and potential oversights in meeting security requirements and essential operational features further complicate the implementability of these protocols. This paper comprehensively reviews and compares the 15 most prominent authentication protocols for the CAN bus. Our analysis emphasizes their strengths and weaknesses, evaluating their alignment with critical security requirements for automotive authentication. Additionally, we evaluate protocols based on essential operational criteria that contribute to ease of implementation in predefined infrastructures, enhancing overall reliability and reducing the probability of successful attacks. Our study reveals a prevalent focus on defending against external attackers in existing protocols, exposing vulnerabilities to internal threats. Notably, authentication protocols employing hash chains, Mixed Message Authentication Codes, and asymmetric encryption techniques emerge as the most effective approaches. Through our comparative study, we classify the considered protocols based on their security attributes and suitability for implementation, providing valuable insights for future developments in the field.Comment: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessibl

Unsupervised Domain Adaptation using Graph Transduction Games

Unsupervised domain adaptation (UDA) amounts to assigning class labels to the unlabeled instances of a dataset from a target domain, using labeled instances of a dataset from a related source domain. In this paper, we propose to cast this problem in a game-theoretic setting as a non-cooperative game and introduce a fully automatized iterative algorithm for UDA based on graph transduction games (GTG). The main advantages of this approach are its principled foundation, guaranteed termination of the iterative algorithms to a Nash equilibrium (which corresponds to a consistent labeling condition) and soft labels quantifying the uncertainty of the label assignment process. We also investigate the beneficial effect of using pseudo-labels from linear classifiers to initialize the iterative process. The performance of the resulting methods is assessed on publicly available object recognition benchmark datasets involving both shallow and deep features. Results of experiments demonstrate the suitability of the proposed game-theoretic approach for solving UDA tasks.Comment: Oral IJCNN 201

Domestic politics and the formation of International Environmental Agreements

AbstractWe investigate the effect of domestic politics on international environmental policy by incorporating into a classic stage game of coalition formation the phenomenon of lobbying by special-interest groups. In doing so, we contribute to the theory of international environmental agreements, which has overwhelmingly assumed that governments make decisions based on a single set of public-interest motivations. Our results suggest that lobbying on emissions may affect the size of the stable coalition in counterintuitive ways. In particular, a powerful business lobby may increase the government's incentives to sign an agreement, by providing it with strong bargaining power with respect to that lobby at the emission stage. This would result in lower total emissions when the number of countries involved is not too large. We also show that things change radically when lobbying bears directly on the membership decisions, suggesting that both the object and timing of lobbying matter for the way in which membership decisions, emissions and welfare are affected

APLICAÇÃO DA ESCALA DE CONHECIMENTO NUTRICIONAL EM PRATICANTES DE MUSCULAÇÃO DE UMA ACADEMIA DO MUNICÍPIO DE GUAÍRA-SP

Na atualidade a busca por informações a respeito de alimentos saudáveis tem se tornado cada vez maior, principalmente entre os praticantes de exercícios físicos recreacionais, amadores ou de alta performance, haja vista os vários benefícios que a alimentação balanceada pode proporcionar.  Muitas intervenções centradas na educação nutricional têm sido conduzidas com o intuito de aumentar o conhecimento nutricional da população e, consequentemente, melhorar seus hábitos alimentares. Objetivou-se neste estudo avaliar o conhecimento nutricional de praticantes de musculação de uma academia localizada no município de Guaíra. Participaram deste estudo 100 alunos da referida academia. Foram coletados dados sociodemográficos, uso e orientação profissional de suplementos alimentares. O conhecimento nutricional dos indivíduos foi avaliado por um questionário de Conhecimento Nutricional composto por 12 questões discursivas e de múltipla escolha que classifica o nível de conhecimento em baixo, moderado ou alto. Os dados foram avaliados por meio de estatística descritiva. Verificou-se que a maioria da amostra (60%) tinha nível superior como escolaridade e que 76% deles afirmaram já ter recebido orientação nutricional. Quanto ao uso de algum tipo de suplemento alimentar, 28% da população estudada afirmou consumi-los. Os suplementos mais frequentemente citados foram os à base de proteína (43%), termogênicos (24%), aminoácidos (15%) e hipercalóricos (13%). A maior parte dos praticantes de musculação (67%) apresentou moderado conhecimento nutricional. Apesar dos participantes apresentarem alto nível de escolaridade e orientação profissional quanto ao uso de suplementação, pode-se dizer que o nível de conhecimento a respeito de alimentação saudável não foi satisfatório. Dessa forma, alerta-se para a possibilidade de utilização de suplementação de maneira errônea, o que pode prejudicar a saúde dessa amostra. Podemos concluir através do presente estudo que os praticantes de musculação participantes desse estudo possuem um moderado nível de conhecimento nutricional, e que a utilização de suplementos alimentares tem baixa frequência, assimilando ao fato de que a grande parte da amostra já recebeu orientação de um profissional Nutricionista

Measurement of ISR-FSR interference in the processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma

Charge asymmetry in processes e+ e- --> mu+ mu- gamma and e+ e- --> pi+ pi- gamma is measured using 232 fb-1 of data collected with the BABAR detector at center-of-mass energies near 10.58 GeV. An observable is introduced and shown to be very robust against detector asymmetries while keeping a large sensitivity to the physical charge asymmetry that results from the interference between initial and final state radiation. The asymmetry is determined as afunction of the invariant mass of the final-state tracks from production threshold to a few GeV/c2. It is compared to the expectation from QED for e+ e- --> mu+ mu- gamma and from theoretical models for e+ e- --> pi+ pi- gamma. A clear interference pattern is observed in e+ e- --> pi+ pi- gamma, particularly in the vicinity of the f_2(1270) resonance. The inferred rate of lowest order FSR production is consistent with the QED expectation for e+ e- --> mu+ mu- gamma, and is negligibly small for e+ e- --> pi+ pi- gamma.Comment: 32 pages,29 figures, to be submitted to Phys. Rev.

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011

Measurements of Higgs boson production and couplings in diboson final states with the ATLAS detector at the LHC

Measurements are presented of production properties and couplings of the recently discovered Higgs boson using the decays into boson pairs, H →γ γ, H → Z Z∗ →4l and H →W W∗ →lνlν. The results are based on the complete pp collision data sample recorded by the ATLAS experiment at the CERN Large Hadron Collider at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV, corresponding to an integrated luminosity of about 25 fb−1. Evidence for Higgs boson production through vector-boson fusion is reported. Results of combined fits probing Higgs boson couplings to fermions and bosons, as well as anomalous contributions to loop-induced production and decay modes, are presented. All measurements are consistent with expectations for the Standard Model Higgs boson

Hunt for new phenomena using large jet multiplicities and missing transverse momentum with ATLAS in 4.7 fb−1 of √s=7 TeV proton-proton collisions

Results are presented of a search for new particles decaying to large numbers of jets in association with missing transverse momentum, using 4.7 fb−1 of pp collision data at s√=7TeV collected by the ATLAS experiment at the Large Hadron Collider in 2011. The event selection requires missing transverse momentum, no isolated electrons or muons, and from ≥6 to ≥9 jets. No evidence is found for physics beyond the Standard Model. The results are interpreted in the context of a MSUGRA/CMSSM supersymmetric model, where, for large universal scalar mass m 0, gluino masses smaller than 840 GeV are excluded at the 95% confidence level, extending previously published limits. Within a simplified model containing only a gluino octet and a neutralino, gluino masses smaller than 870 GeV are similarly excluded for neutralino masses below 100 GeV