Formalizing sensitivity in static analysis for intrusion detection von Feng, H.H., Giffin, J.T., Yong Huang, Jha, S., Wenke Lee, Miller, B.P.

Volltext

Strengthening software self-checksumming via self-modifying code von Giffin, J.T., Christodorescu, M., Kruger, L.

Volltext

Measurements of the T2K neutrino beam properties using the INGRID on-axis near detector von Ajima, Y., Albert, J.B., Badertscher, A., Barker, G.J., Barr, G., Berardi, V., Blaszczyk, F.d.M., Blocki, J., Boyd, S.B., Bravar, A., Calvet, D., Choi, S., Coleman, J., Curioni, A., Davies, G.S., Davis, S., Di Lodovico, F., Di Luise, S., Dziewiecki, M., Dziomba, M., Emery, S., Ferrero, A., Fukuda, Y., Gendotti, A., Golan, T., Hansen, D., Hartz, M., Haruyama, T., Hatzikoutelis, A., Higashi, N., Hignight, J., Hillairet, A., Ieki, K., Ilic, J., Ives, S.J., Johnson, R.A., Kawamuko, H., Khabibullin, M., Khanam, F., Kielczewska, D., Kim, J.Y., Konaka, A., Koseki, K., Koshio, Y., Kowalik, K., Lee, K.P., Macaire, M., Marteau, J., Martin, J.F., Maruyama, T., Masliah, P., Mathie, E.L., Mavrokoridis, K., Mazzucato, E., McFarland, K.S., Mijakowski, P., Morgan, B., Muir, A., Murakami, A., Murphy, S., Nagai, N., Nicholls, T.C., Nobuhara, T., Nowak, J.A., Otani, M., Oyama, Y., Ozaki, T., Perkin, J.D., Pettinacci, V., Przewlocki, P., Raufer, T.M., Raymond, M., Robert, A., Rossi, B., Roth, S., Schwehr, J., Short, S., Smy, M., Sobczyk, J.T., Stamoulis, P., Swierblewski, J., Takahashi, S., Takeda, A., Terri, R., Toki, W., Totsuka, Y., Touramanis, C., Tzanov, M., Vasseur, G., Walding, J.J., Wanderer, P.J., Wascko, M.O., Wikström, G., Wilkes, R.J., Wilson, R.J., Yamamoto, A., Yuan, T., Zaremba, K., Ziembicki, M., Zmuda, J.

Volltext