Bunder, Martin

Research Areas

0101 - PURE MATHEMATICS

Available as Research Supervisor

Selected Publications

Journal Article

Year	Title
2022	BINARY SIGNED-DIGIT REPRESENTATIONS IN PAPERFOLDING Published In Bulletin of the Australian Mathematical Society
2022	Points in a fold Published In Bulletin of the Australian Mathematical Society
2021	An exact formula for the harmonic continued fraction Published In Bulletin of the Australian Mathematical Society
2020	Generalized Fibonacci numbers and their 2-adic order Published In Integers: electronic journal of combinatorial number theory
2019	On the harmonic continued fractions Published In The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu
2018	Cryptanalysis of RSA-type cryptosystems based on Lucas sequences, Gaussian integers and elliptic curves Published In Journal of Information Security and Applications
2017	A generalized attack on RSA type cryptosystems Published In Theoretical Computer Science
2017	A new attack on the RSA cryptosystem based on continued fractions Published In Malaysian Journal of Mathematical Sciences
2017	Closed form expressions for two harmonic continued fractions Published In Mathematical Gazette
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science
2016	Information Security and Privacy
2014	Products and powers, and exponentiations Published In The Fibonacci Quarterly
2014	Unique representations of integers using increasing sequences Published In Journal of Number Theory
2012	Child's addition in the Stern - Bocot tree Published In European Journal of Combinatorics
2012	Horadam functions and powers of irrationals Published In The Fibonacci Quarterly
2011	Self-matching bands in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	Convergence of the Sequence b, ab, aab,... Published In Far East Journal of Mathematical Education
2010	Linking the Calkin-Wilf and Stern-Brocot trees Published In European Journal of Combinatorics
2010	Locating terms in the Stern-Brocot tree Published In European Journal of Combinatorics
2010	Mirroring and interleaving in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	The D-completeness of T-> Published In The Australasian Journal of Logic
2010	The probability of an out of control signal from Nelson's supplementary zig-zag test Published In Journal of Statistical Theory and Practice
2009	Proof-finding algorithms for classical and subclassical propositional logics Published In Notre Dame Journal of Formal Logic
2008	Are there Hilbert-style pure type systems? Published In Logical Methods in Computer Science
2008	On binary reflected Gray codes and functions Published In Discrete Mathematics
2008	Some rough consequence logics and their interrelations
1997	On the variety of algebras V(M, N) Published In Algebra Colloquium
1989	On adding (ξ) to weak equality in combinatory logic Published In Journal of Symbolic Logic
1988	Arithmetic based on the Church numerals in illative combinatory logic Published In Studia Logica
1987	Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic Published In Journal of Symbolic Logic
1987	Some generalizations to two systems of set theory based on combinatory logic Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1985	An extension of Klop's counterexample to the Church-Rosser property to λ-calculus with other ordered pair combinators Published In Theoretical Computer Science
1985	Possible forms of evaluation or reduction in Martin-L��f type theory Published In Theoretical Computer Science
1984	Category theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1984	Some definitions of negation leading to paraconsistent logics Published In Studia Logica
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae (Proceedings)
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae
1983	A one axiom set theory based on higher order predicate calculus Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	A weak absolute consistency proof for some systems of illative combinatory logic Published In Journal of Symbolic Logic
1983	Predicate calculus of arbitrarily high finite order Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1983	Set theory in predicate calculus with equality Published In Archiv für Mathematische Logik und Grundlagenforschung
1982	Deduction theorems for weak implicational logics Published In Studia Logica
1982	Illative combinatory logic without equality as a primitive predicate Published In Notre Dame Journal of Formal Logic
1982	Some Results in Aczel��Feferman Logic and Set Theory Published In Mathematical Logic Quarterly
1981	Predicate calculus and naive set theory in pure combinatory logic Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1980	Significance and illative combinatory logics Published In Notre Dame Journal of Formal Logic
1980	The consistency of a higher order predicate calculus and set theory based on combinatory logic Published In Studies in Logic and the Foundations of Mathematics
1979	?-elimination in illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	A more relevant relevance logic Published In Notre Dame Journal of Formal Logic
1979	Alternative forms of propositional calculus for a given deduction theorem Published In Notre Dame Journal of Formal Logic
1979	Deduction theorems in significance logics Published In Notre Dame Journal of Formal Logic
1979	Generalized restricted generality Published In Notre Dame Journal of Formal Logic
1979	On the equivalence of systems of rules and systems of axioms in illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	Scott��s models and illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	Variable binding term operators in ��-calculus Published In Notre Dame Journal of Formal Logic
1978	Equality in ��21* with Restricted Subjects Published In Mathematical Logic Quarterly
1976	Commutative non-associative number theory Published In Proceedings of the Edinburgh Mathematical Society
1976	Some notes on “A deduction theorem for restricted generality” Published In Notre Dame Journal of Formal Logic
1976	The inconsistency of Published In Journal of Symbolic Logic
1974	Propositional and predicate calculuses based on combinatory logic Published In Notre Dame Journal of Formal Logic
1974	Some Inconsistencies in Illative Combinatory Logic Published In Mathematical Logic Quarterly
1974	Various systems of set theory based on combinatory logic Published In Notre Dame Journal of Formal Logic
1973	A deduction theorem for restricted generality Published In Notre Dame Journal of Formal Logic
1973	A generalised kleene-rosser paradox for a system containing the combinator K Published In Notre Dame Journal of Formal Logic
1970	A paradox in illative combinatory logic Published In Notre Dame Journal of Formal Logic

Chapter

Year	Title
1980	The Consistency of A Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic11The author wishes to thank Professor J.P. Seldin for his helpful criticism of various parts of this work at various stages. Published In Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic Publisher Elsevier

Conference Paper

Year	Title
2019	THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019 Published In Bulletin of Symbolic Logic
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016	A new improved attack on RSA Published In Proceedings of the 5th International Cryptology and Information Security Conference
2008	The inhabitation problem for intersection types Published In Computing: The Australasian Theory Symposium
2005	Introducing N-tree-space: A classification system for knowledge library applications Published In IEEE Region 10 Annual International Conference, Proceedings/TENCON
2005	Security Analysis of Michael: The IEEE 802.11i Message Integrity Code Published In International Conference on Embedded and Ubiquitous Computing

Research Areas

0101 - PURE MATHEMATICS

Selected Publications

Journal Article

Year	Title
2022	BINARY SIGNED-DIGIT REPRESENTATIONS IN PAPERFOLDING Published In Bulletin of the Australian Mathematical Society
2022	Points in a fold Published In Bulletin of the Australian Mathematical Society
2021	An exact formula for the harmonic continued fraction Published In Bulletin of the Australian Mathematical Society
2020	Generalized Fibonacci numbers and their 2-adic order Published In Integers: electronic journal of combinatorial number theory
2019	On the harmonic continued fractions Published In The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu
2018	Cryptanalysis of RSA-type cryptosystems based on Lucas sequences, Gaussian integers and elliptic curves Published In Journal of Information Security and Applications
2017	A generalized attack on RSA type cryptosystems Published In Theoretical Computer Science
2017	A new attack on the RSA cryptosystem based on continued fractions Published In Malaysian Journal of Mathematical Sciences
2017	Closed form expressions for two harmonic continued fractions Published In Mathematical Gazette
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science
2016	Information Security and Privacy
2014	Products and powers, and exponentiations Published In The Fibonacci Quarterly
2014	Unique representations of integers using increasing sequences Published In Journal of Number Theory
2012	Child's addition in the Stern - Bocot tree Published In European Journal of Combinatorics
2012	Horadam functions and powers of irrationals Published In The Fibonacci Quarterly
2011	Self-matching bands in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	Convergence of the Sequence b, ab, aab,... Published In Far East Journal of Mathematical Education
2010	Linking the Calkin-Wilf and Stern-Brocot trees Published In European Journal of Combinatorics
2010	Locating terms in the Stern-Brocot tree Published In European Journal of Combinatorics
2010	Mirroring and interleaving in the paperfolding sequence Published In Applicable Analysis and Discrete Mathematics
2010	The D-completeness of T-> Published In The Australasian Journal of Logic
2010	The probability of an out of control signal from Nelson's supplementary zig-zag test Published In Journal of Statistical Theory and Practice
2009	Proof-finding algorithms for classical and subclassical propositional logics Published In Notre Dame Journal of Formal Logic
2008	Are there Hilbert-style pure type systems? Published In Logical Methods in Computer Science
2008	On binary reflected Gray codes and functions Published In Discrete Mathematics
2008	Some rough consequence logics and their interrelations
1997	On the variety of algebras V(M, N) Published In Algebra Colloquium
1989	On adding (ξ) to weak equality in combinatory logic Published In Journal of Symbolic Logic
1988	Arithmetic based on the Church numerals in illative combinatory logic Published In Studia Logica
1987	Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic Published In Journal of Symbolic Logic
1987	Some generalizations to two systems of set theory based on combinatory logic Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1985	An extension of Klop's counterexample to the Church-Rosser property to λ-calculus with other ordered pair combinators Published In Theoretical Computer Science
1985	Possible forms of evaluation or reduction in Martin-L��f type theory Published In Theoretical Computer Science
1984	Category theory based on combinatory logic Published In Archiv für Mathematische Logik und Grundlagenforschung
1984	Some definitions of negation leading to paraconsistent logics Published In Studia Logica
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae (Proceedings)
1984	Some problems and inadequacies in the van der Poel-Schaapvan der Mey theory of combinators Published In Indagationes Mathematicae
1983	A one axiom set theory based on higher order predicate calculus Published In Archiv für Mathematische Logik und Grundlagenforschung
1983	A weak absolute consistency proof for some systems of illative combinatory logic Published In Journal of Symbolic Logic
1983	Predicate calculus of arbitrarily high finite order Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1983	Set theory in predicate calculus with equality Published In Archiv für Mathematische Logik und Grundlagenforschung
1982	Deduction theorems for weak implicational logics Published In Studia Logica
1982	Illative combinatory logic without equality as a primitive predicate Published In Notre Dame Journal of Formal Logic
1982	Some Results in Aczel��Feferman Logic and Set Theory Published In Mathematical Logic Quarterly
1981	Predicate calculus and naive set theory in pure combinatory logic Published In Archiv f��r Mathematische Logik und Grundlagenforschung
1980	Significance and illative combinatory logics Published In Notre Dame Journal of Formal Logic
1980	The consistency of a higher order predicate calculus and set theory based on combinatory logic Published In Studies in Logic and the Foundations of Mathematics
1979	?-elimination in illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	A more relevant relevance logic Published In Notre Dame Journal of Formal Logic
1979	Alternative forms of propositional calculus for a given deduction theorem Published In Notre Dame Journal of Formal Logic
1979	Deduction theorems in significance logics Published In Notre Dame Journal of Formal Logic
1979	Generalized restricted generality Published In Notre Dame Journal of Formal Logic
1979	On the equivalence of systems of rules and systems of axioms in illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	Scott��s models and illative combinatory logic Published In Notre Dame Journal of Formal Logic
1979	Variable binding term operators in ��-calculus Published In Notre Dame Journal of Formal Logic
1978	Equality in ��21* with Restricted Subjects Published In Mathematical Logic Quarterly
1976	Commutative non-associative number theory Published In Proceedings of the Edinburgh Mathematical Society
1976	Some notes on “A deduction theorem for restricted generality” Published In Notre Dame Journal of Formal Logic
1976	The inconsistency of Published In Journal of Symbolic Logic
1974	Propositional and predicate calculuses based on combinatory logic Published In Notre Dame Journal of Formal Logic
1974	Some Inconsistencies in Illative Combinatory Logic Published In Mathematical Logic Quarterly
1974	Various systems of set theory based on combinatory logic Published In Notre Dame Journal of Formal Logic
1973	A deduction theorem for restricted generality Published In Notre Dame Journal of Formal Logic
1973	A generalised kleene-rosser paradox for a system containing the combinator K Published In Notre Dame Journal of Formal Logic
1970	A paradox in illative combinatory logic Published In Notre Dame Journal of Formal Logic

Chapter

Year	Title
1980	The Consistency of A Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic11The author wishes to thank Professor J.P. Seldin for his helpful criticism of various parts of this work at various stages. Published In Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic Publisher Elsevier

Conference Paper

Year	Title
2019	THE ANNUAL CONFERENCE OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Wollongong, Australia July 12, 2019 Published In Bulletin of Symbolic Logic
2016	A new attack on three variants of the RSA cryptosystem Published In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016	A new improved attack on RSA Published In Proceedings of the 5th International Cryptology and Information Security Conference
2008	The inhabitation problem for intersection types Published In Computing: The Australasian Theory Symposium
2005	Introducing N-tree-space: A classification system for knowledge library applications Published In IEEE Region 10 Annual International Conference, Proceedings/TENCON
2005	Security Analysis of Michael: The IEEE 802.11i Message Integrity Code Published In International Conference on Embedded and Ubiquitous Computing

Bunder, Martin Prof

Faculty Member

Overview

Research Areas

Available as Research Supervisor

Publications

Selected Publications

Journal Article

Chapter

Conference Paper

Overview

Research Areas

Publications

Selected Publications

Journal Article

Chapter

Conference Paper

Visualisations

Research Areas