Search for TeV gamma-rays from SN 1987A in 2001

We searched for TeV gamma-rays from the remnant of SN 1987A around 5400 days after the supernova. The observations were carried out in 2001, from November 16 to December 11, using the CANGAROO-II Imaging Atmospheric Cherenkov Telescope. In total, 708 minutes of ON- and 1019 minutes of OFF-source data were obtained under good conditions. The detection threshold was estimated to be 1 TeV, due to the mean zenith angle of 39$^\circ$. The upper limits for the gamma-ray flux were obtained and compared with the previous observations and theoretical models. The observations indicate that the gamma-ray luminosity is lower than $1\times 10^{37}$ erg s$^{-1}$ at $\sim 10$ TeV.Comment: 8 pages, 3 figures, submitted for publication, style file adde

Detection of diffuse TeV gamma-ray emission from the nearby starburst galaxy NGC 253

We report the TeV gamma-ray observations of the nearby normal spiral galaxy NGC 253. At a distance of $\sim$2.5 Mpc, NGC 253 is one of the nearest starburst galaxies. This relative closeness, coupled with the high star formation rate in the galaxy, make it a good candidate TeV gamma-ray source. Observations were carried out in 2000 and 2001 with the CANGAROO-II 10 m imaging atmospheric Cerenkov telescope. TeV gamma-ray emission is detected at the $\sim 11\sigma$ level with a flux of $(7.8 \pm 2.5)\times 10^{-12} {\rm cm}^{-2} {\rm sec}^{-1}$ at energies $>$0.5 TeV. The data indicate that the emission region is broader than the point spread function of our telescope.Comment: 4 pages, double colomn, 3 figures, aa.cl

Evidence of TeV gamma-ray emission from the nearby starburst galaxy NGC 253

TeV gamma-rays were recently detected from the nearby normal spiral galaxy NGC 253 (Itoh et al., 2002). Observations to detect the Cherenkov light images initiated by gamma-rays from the direction of NGC 253 were carried out in 2000 and 2001 over a total period of $\sim$150 hours. The orientation of images in gamma-ray--like events is not consistent with emission from a point source, and the emission region corresponds to a size greater than 10 kpc in radius. Here, detailed descriptions of the analysis procedures and techniques are given.Comment: 16 pages, 27 figures, aa.cl

A Search for TeV Gamma-ray Emission from the PSR B1259-63/SS2883 Binary System with the CANGAROO-II 10-m Telescope

Observations of the PSR B1259-63/SS2883 binary system using the CANGAROO-II Cherenkov telescope are reported. This nearby binary consists of a 48msec radio pulsar in a highly eccentric orbit around a Be star, and offers a unique laboratory to investigate the interactions between the outflows of the pulsar and Be star at various distances. It has been pointed out that the relativistic pulsar wind and the dense mass outflow of the Be star may result in the emission of gamma rays up to TeV energies. We have observed the binary in 2000 and 2001, 47 and 157 days after the October 2000 periastron. Upper limits at the 0.13--0.54 Crab level are obtained. A new model calculation for high-energy gamma-ray emission from the Be star outflow is introduced and the estimated gamma-ray flux considering Bremsstrahlung, inverse Compton scattering, and the decay of neutral pions produced in proton-proton interactions, is found to be comparable to the upper limits of these observations. Comparing our results with these model calculations, the mass-outflow parameters of the Be star are constrained.Comment: 29 pages, 10 figures, accepted by Ap

Validation of Abstract Side-Channel Models for Computer Architectures

Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to validate observational models for modern computer architectures. We combine symbolic execution, relational analysis, and different program generation techniques to generate experiments and validate the models. An experiment consists of a randomly generated program together with two inputs that are observationally equivalent according to the model under the test. Validation is done by checking indistinguishability of the two inputs on real hardware by executing the program and analyzing the side channel. We have evaluated our framework by validating models that abstract the data-cache side channel of a Raspberry Pi 3 board with a processor implementing the ARMv8-A architecture. Our results show that Scam-V can identify bugs in the implementation of the models and generate test programs which invalidate the models due to hidden microarchitectural behavior

Development of an atmospheric Cherenkov imaging camera for the CANGAROO-III experiment

A Cherenkov imaging camera for the CANGAROO-III experiment has been developed for observations of gamma-ray induced air-showers at energies from 10$^{11}$ to 10$^{14}$ eV. The camera consists of 427 pixels, arranged in a hexagonal shape at 0.17$^\circ$ intervals, each of which is a 3/4-inch diameter photomultiplier module with a Winston-cone--shaped light guide. The camera was designed to have a large dynamic range of signal linearity, a wider field of view, and an improvement in photon collection efficiency compared with the CANGAROO-II camera. The camera, and a number of the calibration experiments made to test its performance, are described in detail in this paper.Comment: 25 pages, 29 figures, elsart.cls, to appear in NIM-