Showing 1–7 of 7 results for author: Kauffman, R

CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms

Authors: Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek

Abstract: Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure cryptosystems and prove sound ones secure. But although a number of such symbolic algorithms have been developed and implemented, they remain scattere… ▽ More Recently, interest has been emerging in the application of symbolic techniques to the specification and analysis of cryptosystems. These techniques, when accompanied by suitable proofs of soundness/completeness, can be used both to identify insecure cryptosystems and prove sound ones secure. But although a number of such symbolic algorithms have been developed and implemented, they remain scattered throughout the literature. In this paper, we present a tool, CryptoSolve, which provides a common basis for specification and implementation of these algorithms, CryptoSolve includes libraries that provide the term algebras used to express symbolic cryptographic systems, as well as implementations of useful algorithms, such as unification and variant generation. In its current initial iteration, it features several algorithms for the generation and analysis of cryptographic modes of operation, which allow one to use block ciphers to encrypt messages more than one block long. The goal of our work is to continue expanding the tool in order to consider additional cryptosystems and security questions, as well as extend the symbolic libraries to increase their applicability. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: In Proceedings GandALF 2022, arXiv:2209.09333

Journal ref: EPTCS 370, 2022, pp. 147-161

Amplitudes for Higgs Bosons plus Four Partons

Authors: Russel P. Kauffman, Satish V. Desai, Dipesh Risal

Abstract: In this talk we consider amplitudes for processes involving a Higgs boson, either scalar or pseudoscalar, plus four light partons. These amplitudes are relevant to the production of a Higgs boson plus two jets in hadronic collisions. They are also relevant to calculating the transverse momentum spectrum for Higgs bosons at next-to-leading order in the strong coupling. We work in the limit that t… ▽ More In this talk we consider amplitudes for processes involving a Higgs boson, either scalar or pseudoscalar, plus four light partons. These amplitudes are relevant to the production of a Higgs boson plus two jets in hadronic collisions. They are also relevant to calculating the transverse momentum spectrum for Higgs bosons at next-to-leading order in the strong coupling. We work in the limit that the top quark is much heavier than the Higgs bosons and use effective Lagrangians for the interactions of gluons with the Higgs bosons. We present the amplitudes involving a Higgs boson and: 1) four gluons, 2) two quarks and two gluons; and 3) four quarks. We show that the pseudoscalar amplitudes are nearly identical to those for the scalar case, the only differences being the overall size and the relative signs between terms. △ Less

Submitted 11 March, 1999; originally announced March 1999.

Comments: 4 pages, RevTeX, to appear in the proceedings of DPF '99

Report number: MUHL-PHY/99-1

Production of a Higgs pseudoscalar plus two jets in hadronic collisions

Authors: Russel P. Kauffman, Satish V. Desai

Abstract: We consider the production of a Higgs pseudoscalar accompanied by two jets in hadronic collisions. We work in the limit that the top quark is much heavier than the Higgs pseudoscalar and use an effective Lagrangian for the interactions of gluons with the pseudoscalar. We compute the amplitudes involving: 1) four gluons and the pseudoscalar, 2) two quarks, two gluons and the pseudoscalar and 3) f… ▽ More We consider the production of a Higgs pseudoscalar accompanied by two jets in hadronic collisions. We work in the limit that the top quark is much heavier than the Higgs pseudoscalar and use an effective Lagrangian for the interactions of gluons with the pseudoscalar. We compute the amplitudes involving: 1) four gluons and the pseudoscalar, 2) two quarks, two gluons and the pseudoscalar and 3) four quarks and the pseudoscalar. We find that the pseudoscalar amplitudes are nearly identical to those for the scalar case, the only differences being the overall size and the relative signs between terms. We present numerical cross sections for proton-proton collisions with center-of-mass energy 14 TeV. △ Less

Submitted 10 August, 1998; originally announced August 1998.

Comments: 12 pages, LaTeX, 4 Postscript figures, submitted to Phys. Rev. D

Report number: MUHL-PHY/98-1

Journal ref: Phys.Rev. D59 (1999) 057504

Production of a Higgs Boson Plus Two Jets in Hadronic Collisions

Authors: Russel P. Kauffman, Satish V. Desai, Dipesh Risal

Abstract: We consider the production of a Standard Model Higgs boson accompanied by two jets in hadronic collisions. We work in the limit that the top quark is much heavier than the Higgs boson and use an effective Lagrangian for the interactions of gluons with the Higgs boson. In addition to the previously computed four-gluon process, we compute the the amplitudes involving two quarks, two gluons and the… ▽ More We consider the production of a Standard Model Higgs boson accompanied by two jets in hadronic collisions. We work in the limit that the top quark is much heavier than the Higgs boson and use an effective Lagrangian for the interactions of gluons with the Higgs boson. In addition to the previously computed four-gluon process, we compute the the amplitudes involving two quarks, two gluons and the Higgs boson and those involving four quarks and the Higgs boson. We exhibit the form of our results in the small-p_H and factorization limits. We present numerical results for root S of 14 TeV and root S of 2 TeV. We find that the dominant processes are gg -> ggH and qg -> qg H with the former (latter) contributing about 60% (40%) of the cross section at root S of 14 TeV and the two processes each contributing about half the cross section at root S of 2 TeV. All other processes are negligible at both energies. △ Less

Submitted 30 October, 1996; originally announced October 1996.

Comments: 21 pages, Latex, 10 Postscript figures, submitted to Phys. Rev. D

Report number: F&M96/3

Journal ref: Phys.Rev.D55:4005-4015,1997; Erratum-ibid.D58:119901,1998

PRODUCTION OF DRELL--YAN PAIRS IN HIGH ENERGY NUCLEON--NUCLEON COLLISIONS

Authors: S. Gavin, R. Kauffman, S. Gupta, P. V. Ruuskanen, D. K. Srivastava, R. L. Thews

Abstract: We compute cross sections for the Drell-Yan process in N--N collisions at next-to-leading order in $α_s$. The mass, rapidity, transverse momentum, and angular dependence of these cross sections are presented. An estimate of higher order corrections is obtained from next-to-next-to-leading order calculation of the mass distribution. We compare the results with some of the existing data to show the… ▽ More We compute cross sections for the Drell-Yan process in N--N collisions at next-to-leading order in $α_s$. The mass, rapidity, transverse momentum, and angular dependence of these cross sections are presented. An estimate of higher order corrections is obtained from next-to-next-to-leading order calculation of the mass distribution. We compare the results with some of the existing data to show the quality of the agreement between calculations and data. We present predictions for energies which will become available at the RHIC and LHC colliders. Uncertainties in these predictions due to choices of scale, scheme and parton distribution are discussed. △ Less

Submitted 22 February, 1995; originally announced February 1995.

Comments: 27 pages (latex) plus 28 postscript figures

Report number: HU-TFT-95-14

Journal ref: Int.J.Mod.Phys.A10:2961-2998,1995

QCD Corrections to Higgs Boson Production: Non- Leading Terms in the Heavy Quark Limit

Authors: S. Dawson, R. Kauffman

Abstract: We compute analytic results for the QCD corrections to Higgs boson production via gluon fusion in hadronic collisions in the limit in which the top quark is much heavier than the Higgs boson. The first non-leading corrections of $Ø(α_s^3 \mh^2/m_t^2)$ are given and numerical results presented for both LHC and SSC energies. We confirm earlier numerical results showing that the dominant correction… ▽ More We compute analytic results for the QCD corrections to Higgs boson production via gluon fusion in hadronic collisions in the limit in which the top quark is much heavier than the Higgs boson. The first non-leading corrections of $Ø(α_s^3 \mh^2/m_t^2)$ are given and numerical results presented for both LHC and SSC energies. We confirm earlier numerical results showing that the dominant corrections have the same mass dependence as the Born cross section. △ Less

Submitted 13 October, 1993; originally announced October 1993.

Comments: 27 pages plus 8 figures in uuencoded tar-compressed format, BNL-DK1

Journal ref: Phys.Rev. D49 (1994) 2298-2309

QCD Corrections to Production of Higgs Pseudoscalars

Authors: Russel P. Kauffman, Wendy Schaffer

Abstract: Models of electroweak symmetry breaking with more than a single doublet of Higgs scalars contain a neutral pseudoscalar boson. The production of such a pseudoscalar in hadron collisions proceeds primarily via gluon fusion through a top-quark loop (except for those models in which the pseudoscalar coupling to bottom quarks is strongly enhanced). We compute the QCD corrections to this process in t… ▽ More Models of electroweak symmetry breaking with more than a single doublet of Higgs scalars contain a neutral pseudoscalar boson. The production of such a pseudoscalar in hadron collisions proceeds primarily via gluon fusion through a top-quark loop (except for those models in which the pseudoscalar coupling to bottom quarks is strongly enhanced). We compute the QCD corrections to this process in the heavy-quark limit, using an effective Lagrangian derived from the axial anomaly. △ Less

Submitted 9 June, 1993; v1 submitted 17 May, 1993; originally announced May 1993.

Comments: 9 pages, (BNL number added, 1 typo corrected, PHYZZX format, 4 figures not included, available on request), BNL-49061

Journal ref: Phys.Rev.D49:551-554,1994